Login / Signup
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids.
Volker Diekert
Paul 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