The Refinement Calculus of Reactive Systems Toolset.
Iulia DragomirViorel PreoteasaStavros TripakisPublished in: CoRR (2017)
Keyphrases
- reactive systems
- transition systems
- model checking
- temporal logic
- information flow
- petri net
- control flow
- formal methods
- development process
- state machines
- real time systems
- artificial intelligence
- machine learning
- refinement process
- knowledge acquisition
- real world
- object oriented
- case study
- information systems
- data mining