Login / Signup

Improved Automata Generation for Linear Temporal Logic.

Marco DanieleFausto GiunchigliaMoshe Y. Vardi
Published in: CAV (1999)
Keyphrases
  • linear temporal logic
  • deterministic automata
  • temporal logic
  • model checking
  • cellular automata
  • bounded model checking
  • monte carlo