Login / Signup

Model checking for a multi-execution memory model.

Evgenii MoiseenkoMichalis KokologiannakisViktor Vafeiadis
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • model checking
  • temporal properties
  • verification method
  • ctl model update
  • knowledge base
  • model checker
  • epistemic logic
  • asynchronous circuits
  • bounded model checking