A temporal proof methodology for reactive systems.

Zohar Manna Amir Pnueli

Published in: Jerusalem Conference on Information Technology (1990)

Keyphrases

reactive systems
temporal constraints
temporal logic
spatio temporal
model checking
temporal information
information flow
temporal patterns
temporal data
formal methods
petri net
temporal reasoning
knowledge management
spatial and temporal
database
control flow
information systems