Atomic read/write witnesses
Atomically reading and writing to a shared variable, using witness encoding.
|Path to example file||atomics/AtomicReadWrite.java|
|Lines of code||75 lines (comments not included)|
|Lines of specification||32 lines (42.67% of the total)|
|Computation time||12903 milliseconds|
Note, verification may take a while and has a time-out of 20 seconds.