On the Verification of Temporal Properties.

Patrice Godefroid Gerard J. Holzmann

Published in: PSTV (1993)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
verification method
formal specification
possibility theory
artificial intelligence
multi agent