Use JML and ESC/Java to prove the correctness of a small Java program of your choice (

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.