Refining Reactive Systems in HOL Using Action Systems.

Thomas Långbacka Joakim von Wright

Published in: TPHOLs (1997)

Keyphrases

reactive systems
formal methods
building blocks
expert systems
open source
petri net
transition systems
machine learning
decision making
computer systems
model checking
temporal logic
state machines