Witnesses: Twice

Example verification case where some abstract function is called twice.

General information

ID172
Articlenone
Back-endChalice
LanguageJava
Features
Sources
Path to example filewitnesses/Twice.java
Date2017-06-21

Statistical information

Lines of code25 lines (comments not included)
Lines of specification14 lines (56% of the total)
Computation time9308 milliseconds

Example code

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