History-based reasoning: correctness checking (Java)
Verification example in Java where there correctness of defined processes and axioms is verified.
|Path to example file||histories/HistoryJava.java|
|Lines of code||33 lines (comments not included)|
|Lines of specification||16 lines (48.48% of the total)|
|Computation time||25575 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.