Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models.

Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige

Browse the full ICECCS paper archive.