Unified verification and monitoring of executable UML specifications.
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe DhaussyPublished in: Softw. Syst. Model. (2021)
Keyphrases
- formal specification
- formal methods
- model checking
- specification language
- model checker
- concurrent systems
- formal verification
- automated verification
- bounded model checking
- monitoring system
- control flow
- attribute grammars
- asynchronous circuits
- reactive systems
- class diagram
- protocol specification
- finite state machines
- conceptual models
- temporal logic
- verification method
- early warning
- real time
- metamodel
- object oriented
- unified modeling language
- face verification
- modeling language
- data flow
- uml activity diagrams
- unified model
- database design
- software systems
- software engineering
- database systems