Fork/join incrementing (failing 1)

Simple fork/join program where the forked thread increments a shared counter by one. We intend this verification example to fail, as we inserted an incorrect assertion (that checks whether the state has not been changed).

General information

ID154
Articlenone
Back-endSilicon
LanguageJava
FeaturesFork/join concurrency
Sources
Path to example filethreads/VerifiedMain-E1.java
Date2017-06-21

Statistical information

Lines of code18 lines (comments not included)
Lines of specification5 lines (27.78% of the total)
Computation timeunknown

Example code

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