Verifying Java 6 Lock

In this verification example several functions of the Java 6 lock are verified.

General information

ID81
Articlenone
Back-endChalice
LanguageJava
FeaturesArrays, Atomics, Locking
Sources
Path to example filelayers/Java6Lock.java
Date2017-06-19

Statistical information

Lines of code218 lines (comments not included)
Lines of specification97 lines (44.5% of the total)
Computation timeunknown

Example code

Note, verification may take a while and has a time-out of 20 seconds.