Login / Signup

SAT-based Bounded Model Checking for SE-LTL.

Conghua ZhouShiguang Ju
Published in: SNPD (3) (2007)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • linear temporal logic
  • temporal logic
  • multi agent systems
  • general purpose
  • markov chain
  • transition systems