Login / Signup

An Automata-Theoretic Approach to Linear Temporal Logic.

Moshe Y. Vardi
Published in: Banff Higher Order Workshop (1995)
Keyphrases
  • linear temporal logic
  • deterministic automata
  • model checking
  • temporal logic
  • cellular automata
  • finite state
  • bounded model checking
  • finite state machines
  • finite automata
  • regular expressions
  • formal methods