Verifying UML/OCL Models Using Boolean Satisfiability.

Mathias Soeken Robert Wille Mirco Kuhlmann Martin Gogolla Rolf Drechsler

Published in: MBMV (2010)

Keyphrases

metamodel
boolean satisfiability
modeling language
uml class diagrams
object oriented
branch and bound algorithm
sat solvers
randomly generated
sat problem
tool support
sequence diagrams
uml diagrams