Login / Signup
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.
José Carmo
Amílcar Sernadas
Published in:
Temporal Aspects in Information Systems (1987)
Keyphrases
</>
temporal logic
model checking
reactive systems
dynamic constraints
transition systems
concurrent systems
verification method
formal verification
linear temporal logic
formal methods
modal logic
formal specification
complex systems
model checker
asynchronous circuits
temporal information
petri net
video sequences