Login / Signup

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN.

Achraf MakniRafik BouazizFaï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