Fork/join incrementing (succeeding)

Simple fork/join program where the forked thread increments a shared counter by one. We verify that after joining the threads the shared value has indeed been increased by one.

General information

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

Statistical information

Lines of code14 lines (comments not included)
Lines of specification5 lines (35.71% of the total)
Computation timeunknown

Example code

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