https://github.com/fthuin/programming_methods

LSINF2224 - Programming methods
https://github.com/fthuin/programming_methods

Last synced: 13 days ago
JSON representation

LSINF2224 - Programming methods

• Host: GitHub
• URL: https://github.com/fthuin/programming_methods
• Owner: fthuin
• License: mit
• Created: 2016-02-05T14:53:49.000Z (almost 9 years ago)
• Default Branch: master
• Last Pushed: 2016-05-24T20:34:47.000Z (over 8 years ago)
• Last Synced: 2023-08-04T06:44:13.551Z (over 1 year ago)
• Language: TeX
• Size: 613 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# LSINF2224 - Programming methods

This repository contains the three project of programming methods.

## Project 1: Verification of correctness and termination

Using ESC/Java 2 verification by induction on loops, verify the given Java class by adding annotations (precondition, postcondition, invariant, variant).

This project was graded 9.5/10.

## Project 2: Correction of runtime errors and specifications of class and methods

Using ESC/Java 2 verification, verify and correct the given Java classes by adding annotation (precondition, postcondition, class invariant and ghost variable for data structures).

This project was graded 8/10.

## Project 3: Verification and correction of concurrent Java programs

Using JPF (Java PathFinder) model-checker, verify and correct the given Java classes to ensure the correctness of concurrent executions, model the state-space explosion of the proof and report results with real executions.

This project was graded 10/10.

## Exam

The answers for the exam can be found in this [repository](https://github.com/fthuin/Syntheses)