An Embedding of Timed Transition Systems in HOL.

Roger Hale Rachel Cardell-Oliver John Herbert

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

transition systems
model checking
concurrent systems
model checker
petri net
temporal logic
formal methods
finite state
control flow
practical reasoning
theorem prover
reactive systems
formal verification
data flow
test suite
description language
binary decision diagrams
process model
distributed systems