Login / Signup

Archived Design Steps in Temporal Logic.

Pertti KellomäkiTommi Mikkonen
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • temporal logic
  • model checking
  • satisfiability problem
  • modal logic
  • concurrent systems
  • formal specification language
  • verification method