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.

General information

ID129
Articlenone
Back-endChalice
LanguageJava
FeaturesLists
Sources
Path to example filepredicates/IntegerList.java
Date2017-06-20

Statistical information

Lines of code89 lines (comments not included)
Lines of specification46 lines (51.69% of the total)
Computation time11332 milliseconds

Example code

Note, verification may take a while and has a time-out of 20 seconds.