Login / Signup
Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.
Achraf Makni
Rafik Bouaziz
Faïez Gargouri
Published in:
TIME (2006)
Keyphrases
</>
formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
program slicing
room temperature
coloured petri nets
temporal logic