Login / Signup
An Embedding of Timed Transition Systems in HOL.
Rachel Cardell-Oliver
Roger Hale
John Herbert
Published in:
TPHOLs (1992)
Keyphrases
</>
transition systems
model checking
concurrent systems
model checker
petri net
temporal logic
formal methods
finite state
control flow
theorem prover
reactive systems
practical reasoning
formal verification
markov chain
knowledge base
data flow
formal specification
learning algorithm
description language
case study