Login / Signup
From State Machines to Temporal Logic: Specification Methods for Protocol Standards.
Richard L. Schwartz
P. M. Melliar-Smith
Published in:
The Analysis of Concurrent Systems (1983)
Keyphrases
</>
state machines
temporal logic
state machine
model checking
reactive systems
transition systems
feed forward
control flow
verification method
computation tree logic