Login / Signup

Regular Linear Temporal Logic with Past.

César SánchezMartin Leucker
Published in: VMCAI (2010)
Keyphrases
  • linear temporal logic
  • temporal logic
  • model checking
  • bounded model checking
  • web services
  • sufficient conditions