The Refinement Calculus of Reactive Systems.

Viorel Preoteasa Iulia Dragomir Stavros Tripakis

Published in: CoRR (2017)

Keyphrases

reactive systems
transition systems
model checking
temporal logic
information flow
petri net
control flow
formal methods
real time systems
state machines
low cost
real time
information systems
case study
supply chain
open source
real world
databases