Verifying Java 6 Lock
In this verification example several functions of the Java 6 lock are verified.
|Features||Arrays, Atomics, Locking|
|Path to example file||layers/Java6Lock.java|
|Lines of code||218 lines (comments not included)|
|Lines of specification||97 lines (44.5% of the total)|
Note, verification may take a while and has a time-out of 20 seconds.