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).
Path to example file
Lines of code
18 lines (comments not included)
Lines of specification
5 lines (27.78% of the total)
Note, verification may take a while and has a time-out of 20 seconds.