UML-VT: A Formal Verification Environment for UML Activity Diagrams.

Zamira Daw, John Mangino, Rance Cleaveland

Browse the full MODELS paper archive.