History-based reasoning: incrementing
Very simple verification example with histories: recording a single update (increment) to a shared integer.
|Path to example file||histories/HistoryAppl.java|
|Lines of code||30 lines (comments not included)|
|Lines of specification||14 lines (46.67% of the total)|
|Computation time||25575 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.