sle2014/paper11

SLE 2014 paper:
Model Checking of CTL-Extended OCL Specifications

Robert Bill, Sebastian Gabmeyer, Petra Kaufmann, Martina Seidl

• DOI: 10.1007/978-3-319-11245-9_13
• T5D: Formal Methods
  • It extends OCL with temporal operators and performs model checking of the resulting specifications.
• T1A: Design
  • A key contribution is the design of a CTL-extended constraint language integrated with modeling.
• T4A: Workbenches
  • It provides tool support to translate/check such specifications against models.

---

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.