Predicates: Linked integer list
Using predicates to abstract a linked list of integers. Several (static) methods are provided that use the linked list structure, and on the specification level its abstraction.
|Path to example file||predicates/IntegerList.java|
|Lines of code||89 lines (comments not included)|
|Lines of specification||46 lines (51.69% of the total)|
|Computation time||11332 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.