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

• Backend: Silicon
• Language: Java
• Features: Fork/join concurrency
• Path to Example File: threads/VerifiedMain-E1.java
• Should Verify: Yes
• Date: 2017-06-21
• Lines of Code: 18 (comments not included)
• Lines of Specification: 5 (27.8% of total)