Login / Signup
Using Temporal Logic for Prototyping: The Design of a Lift Controller.
Roger Hale
Published in:
Temporal Logic in Specification (1987)
Keyphrases
</>
temporal logic
model checking
design process
transition systems
formal specification language
controller design
multi agent systems
satisfiability problem
formal methods
verification method
concurrent systems
automata theoretic