History-based reasoning: correctness checking (Java)

Verification example in Java where there correctness of defined processes and axioms is verified.

General information

ID72
Articlenone
Back-endSilicon
LanguageJava
FeaturesHistories
Sources
Path to example filehistories/HistoryJava.java
Date2017-06-19

Statistical information

Lines of code33 lines (comments not included)
Lines of specification16 lines (48.48% of the total)
Computation time25575 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.