Atomic read/write witnesses

Atomically reading and writing to a shared variable, using witness encoding.

General information

ID17
Articlenone
Back-endChalice
LanguageJava
FeaturesAtomics, Witnesses
Sources
Path to example fileatomics/AtomicReadWrite.java
Date2017-06-15

Statistical information

Lines of code75 lines (comments not included)
Lines of specification32 lines (42.67% of the total)
Computation time12903 milliseconds

Example code

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