History-based reasoning: incrementing
Simple verification example where history-based reasoning is used to capture the incrementation of a shared variable.
|Path to example file||histories/TestHist.pvl|
|Lines of code||23 lines (comments not included)|
|Lines of specification||7 lines (30.43% of the total)|
|Computation time||23867 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.