Login / Signup

Transition Logic: How to Reason About Temporal Properties in a Compositional Way

Rob Gerth
Published in: STOC (1984)
Keyphrases
  • temporal properties
  • model checking
  • possibility theory
  • formal methods
  • temporal logic
  • classical logic
  • modal logic
  • genetic algorithm
  • logic programming
  • probability theory
  • data mining
  • decision trees
  • database systems