Login / Signup

SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.

Alessandro ArmandoLuca CompagnaPierre Ganty
Published in: FME (2003)
Keyphrases
  • model checking
  • bounded model checking
  • temporal logic
  • security protocols
  • formal specification
  • planning problems
  • constraint satisfaction
  • finite state
  • formal methods
  • classical planning
  • model checker