A Hierarchy of Temporal Properties.

Zohar Manna Amir Pnueli

Published in: PODC (1990)

Keyphrases

temporal properties
model checking
hierarchical structure
possibility theory
formal methods
high level
natural language
life cycle
temporal logic