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

  • Backend: Chalice
  • Language: Java
  • Features: Lists
  • Path to Example File: predicates/
  • Should Verify: Yes
  • Date: 2017-06-20
  • Lines of Code: 89 (comments not included)
  • Lines of Specification: 46 (51.7% of total)
  • Computation Time: 11.3 seconds