Login / Signup

Compositional Verification of a Lock-Free Stack with RGITL.

Bogdan TofanGerhard SchellhornGidon ErnstJörg PfählerWolfgang 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