Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models

Mathias Soeken, Robert Wille, Rolf Drechsler. Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models. In Martin Gogolla, Burkhart Wolff, editors, Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings. Volume 6706 of Lecture Notes in Computer Science, pages 152-170, Springer, 2011. [doi]

Abstract

Abstract is missing.