Language-specific model checking of UML-RT models.
Karolina ZurowskaJuergen DingelPublished in: Softw. Syst. Model. (2017)
Keyphrases
- model checking
- temporal logic
- finite state machines
- formal methods
- reactive systems
- probabilistic model
- temporal properties
- metamodel
- automated verification
- verification method
- formal verification
- epistemic logic
- model checker
- artificial intelligence
- timed automata
- language specific
- formal specification
- modeling language
- data mining
- text retrieval
- n gram
- software development
- graphical models
- software engineering
- object oriented
- expert systems
- bounded model checking
- computation tree logic