The Refinement Calculus of Reactive Systems Toolset.

Iulia Dragomir Viorel Preoteasa Stavros Tripakis

Published in: Int. J. Softw. Tools Technol. Transf. (2020)

Keyphrases

reactive systems
transition systems
model checking
temporal logic
formal methods
information flow
control flow
petri net
state machines
real time systems
machine learning
case study
expert systems
data model
object oriented
low cost
real time
web services