Refinement calculus of reactive systems.

Viorel Preoteasa Stavros Tripakis

Published in: EMSOFT (2014)

Keyphrases

reactive systems
transition systems
temporal logic
information flow
petri net
model checking
control flow
formal methods
real time systems
refinement process
database
machine learning
state machines
knowledge based systems