Verifying UML/OCL models using Boolean satisfiability.

Mathias Soeken, Robert Wille, Mirco Kuhlmann, Martin Gogolla, Rolf Drechsler

Browse the full DATE paper archive.