search

septract / starling-tool

An automatic verifier for concurrent algorithms.
MIT License
7 stars 4 forks source link

Sense barrier #91

Open MattWindsor91 opened 7 years ago

MattWindsor91 commented 7 years ago

See Examples/WIP/senseBarrier.cvf.

Needs #89 and #90.