Java threading

Simple example verification with Java threads. A simple thread (extending from java's Thread class) is forked and later joined. The thread increments a shared integer by one, which is asserted on after joining. Note, this verification example covers more than one file; 'SimpleThreadMain.java' is merely the main file.

General Information

• Backend: Chalice
• Language: Java
• Features: Witnesses, Fork/join concurrency
• Path to Example File: inheritance/SimpleThreadMain.java
• Should Verify: Yes
• Date: 2017-06-19
• Lines of Code: 25 (comments not included)
• Lines of Specification: 10 (40.0% of total)
• Computation Time: 25.8 seconds