C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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