Login / Signup

Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse.

Chuan JiangGianfranco Ciardo
Published in: LPAR (2018)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • computation tree logic
  • temporal logic
  • linear temporal logic
  • multi agent systems
  • shortest path
  • model checker
  • temporal properties
  • temporal epistemic