A Temporal Proof Methodology for Reactive Systems.

Zohar Manna Amir Pnueli

Published in: NATO ASI PDC (1992)

Keyphrases

reactive systems
temporal logic
spatio temporal
temporal data
model checking
information flow
spatial and temporal
temporal constraints
knowledge base
petri net
temporal information
temporal reasoning
temporal patterns
control flow
state machines
theorem prover