Memory Efficient Algorithms for the Verification of Temporal Properties.

Costas Courcoubetis Moshe Y. Vardi Pierre Wolper Mihalis Yannakakis

Published in: CAV (1990)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
formal specification
memory requirements
database systems
expert systems
possibility theory
neural network
genetic algorithm
probability distribution
software engineering
modal logic