Login / Signup

Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking.

May Thu AungTam Thi Thanh NguyenKazuhiro Ogata
Published in: ICSCA (2018)
Keyphrases
  • model checking
  • temporal properties
  • model checker
  • mutual exclusion
  • temporal logic
  • formal verification
  • epistemic logic
  • symbolic model checking
  • search space
  • reactive systems
  • process algebra