The Refinement Calculus of Reactive Systems Toolset.
Iulia DragomirViorel PreoteasaStavros TripakisPublished in: TACAS (2) (2018)
Keyphrases
- reactive systems
- transition systems
- model checking
- temporal logic
- petri net
- information flow
- formal methods
- control flow
- refinement process
- real time systems
- development process
- state machines
- knowledge acquisition
- model driven engineering
- database
- knowledge based systems
- open source
- low cost
- database systems
- data mining
- real world