Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams.

Olivier Coudert Jean Christophe Madre Christian Berthet

Published in: CAV (1990)

Keyphrases

temporal properties
model checking
high level
state space
data mining
artificial intelligence
multi agent
expert systems
random variables
formal methods