Login / Signup
Compositional Verification of a Lock-Free Stack with RGITL.
Bogdan Tofan
Gerhard Schellhorn
Gidon Ernst
Jörg Pfähler
Wolfgang Reif
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
</>
model checking
concurrency control
feature selection
knowledge base
distributed systems
formal verification
multimodal biometrics
locking protocol