This verification example targets a _Roster_, implemented as linked list. For more details we refer to page 42 of Clement Hurlin's.
|Path to example file||witnesses/Roster.java|
|Lines of code||90 lines (comments not included)|
|Lines of specification||62 lines (68.89% of the total)|
|Computation time||11632 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.