Several methods to increment a shared variable `val`, some of which verify and some do not (due to wrong/incomplete specification).
|Path to example file||permissions/Incr.java|
|Lines of code||42 lines (comments not included)|
|Lines of specification||10 lines (23.81% of the total)|
|Computation time||8579 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.