C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Temporal Verification of Reactive Systems: Response.
Zohar Manna
Amir Pnueli
Published in:
Essays in Memory of Amir Pnueli (2010)
Keyphrases
</>
reactive systems
model checking
formal methods
temporal logic
temporal constraints
petri net
temporal reasoning
concurrent systems
spatio temporal
spatial and temporal
information flow
temporal information
formal specification
database
real time systems
control flow
case study
temporal data
video sequences