Login / Signup

Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.

Volker DiekertPaul Gastin
Published in: Formal and Natural Computing (2002)
Keyphrases
  • model checking
  • temporal logic
  • real life
  • structural properties
  • databases
  • real world
  • machine translation
  • search engine
  • search algorithm