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