EMFeR: Model Checking for Object Oriented (EMF) Models.
Christoph EickhoffMartin LangeSimon-Lennert RaeschAlbert ZündorfPublished in: MODELSWARD (2019)
Keyphrases
- model checking
- object oriented
- temporal logic
- finite state machines
- timed automata
- reactive systems
- formal verification
- temporal properties
- automated verification
- model checker
- data model
- symbolic model checking
- concurrent systems
- finite state
- epistemic logic
- transition systems
- bounded model checking
- computation tree logic