This repository contains the files needed to show how to perform a formal verification of a Java program using the JML language with tools like OpenJML.
The TaxpayerOld.java file is the program subject to formal verification.
The Taxpayer.java file is the result of applying the JML language with the openJML tool.
The report.pdf file is the final report in which there is all the information necessary to understand the work done.
-
Notifications
You must be signed in to change notification settings - Fork 1
jfranzw/openjml-program-verification
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published