MocOCL: A Model Checker for CTL-Extended OCL Specifications.
Sebastian GabmeyerRobert BillPetra KaufmannMartina SeidlPublished in: VOLT@STAF (2014)
Keyphrases
- model checker
- model checking
- temporal logic
- formal verification
- bounded model checking
- formal specification
- transition systems
- symbolic model checking
- formal methods
- epistemic logic
- concurrent systems
- description language
- reactive systems
- specification language
- test cases
- multi agent systems
- gray scale
- software development