Login / Signup
Using Temporal Logic to Support the Specification and Prototyping of Interactive Control Systems.
C. W. Johnson
Michael D. Harrison
Published in:
Int. J. Man Mach. Stud. (1992)
Keyphrases
</>
temporal logic
model checking
transition systems
linear temporal logic
control system
modal logic
satisfiability problem
reactive systems
dynamic constraints
concurrent systems
mazurkiewicz traces
formal specification
formal verification
belief revision
verification method
computation tree logic