Login / Signup

Model exploration with temporal logic query checking.

Arie GurfinkelBenet DevereuxMarsha Chechik
Published in: SIGSOFT FSE (2002)
Keyphrases
  • temporal logic
  • model checking
  • verification method
  • satisfiability problem