Use JML and ESC/Java to prove the correctness of a small Java program of your choice (
$20-25 USD
Complété
Publié il y a plus de 12 ans
$20-25 USD
Payé lors de la livraison
Use JML and ESC/Java to prove the correctness of a small Java program of your choice (<= 50 LOC).
## Deliverables
There are technologies involved:
JML (Java Modelling Language) and ESC/Java are 2 programming tools that must be applied on a simple Java program chosen by the worker. The tested program should NOT be greater than 50 lines of code.
The scope of this small project is to test in an academic way these 2 technologies and document the results.
I must stress the high flexibility of this project (worker chooses Java program, how to test and what to test).
As deliverable I require the source code (well commented) and any additional documents about the approach.