ACM SIGPLAN International Conference on Software Language Engineering, SLE 2014


Article Details
Title: Model Checking of CTL-Extended OCL Specifications
Article URLs:
Alternative Article URLs:
Authors: Robert Bill
  • TU Wien, Business Informatics Group
Sebastian Gabmeyer
  • TU Wien, Business Informatics Group
Petra Kaufmann
  • TU Wien, Business Informatics Group
Martina Seidl
  • Johannes Kepler University Linz, Institute for Formal Models and Verification
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sle/BillGKS14
Author Comments:

Discuss this paper and its artifacts below