search

septract / starling-tool

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

Lamport's bakery algorithm #82

Open MattWindsor91 opened 7 years ago

MattWindsor91 commented 7 years ago

Classic mutex. This should be encodable with arrays (#68).

Sources