The refinement calculus of reactive systems.

Viorel Preoteasa Iulia Dragomir Stavros Tripakis

Published in: Inf. Comput. (2022)

Keyphrases

reactive systems
transition systems
model checking
temporal logic
petri net
information flow
formal methods
control flow
real time systems
state machines
knowledge base
refinement process
natural language
knowledge management
decision making
database
machine learning
real world