Login / Signup
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