Login / Signup

Fluent temporal logic for discrete-time event-based models.

Emmanuel LetierJeff KramerJeff MageeSebastián Uchitel
Published in: ESEC/SIGSOFT FSE (2005)
Keyphrases
  • temporal logic
  • model checking
  • reactive systems
  • modal logic
  • satisfiability problem
  • automata theoretic