Linked list properties
In this verification problem several properties of linked lists are verified. This is done via abstraction to sequences and asserting certain properties over these sequences.
|Path to example file||manual/list.pvl|
|Lines of code||30 lines (comments not included)|
|Lines of specification||11 lines (36.67% of the total)|
|Computation time||16674 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.