Login / Signup

Verifying Temporal Properties of Sequential Machines without Building Their State Diagrams.

Olivier CoudertJean Christophe MadreChristian Berthet
Published in: CAV (DIMACS/AMS volume) (1990)
Keyphrases
  • temporal properties
  • model checking
  • object oriented
  • knowledge discovery
  • software development
  • building blocks
  • multiagent systems