Login / Signup

Memory Efficient Algorithms for the Verification of Temporal Properties.

Costas CourcoubetisMoshe Y. VardiPierre WolperMihalis Yannakakis
Published in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • temporal logic
  • formal specification
  • possibility theory
  • cooperative
  • memory requirements
  • artificial intelligence
  • case based reasoning