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

Mathias Soeken, Robert Wille, Rolf Drechsler

Browse the full TAP paper archive.