Verification of Temporal Properties.

Limor Fix Orna Grumberg

Published in: J. Log. Comput. (1996)

Keyphrases

temporal properties
model checking
formal methods
temporal logic
verification method
formal specification
data mining
knowledge based systems
artificial intelligence
high level
fuzzy sets
knowledge acquisition
inference rules