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

Zamira Daw John Mangino Rance Cleaveland

Published in: P&D@MoDELS (2015)

Keyphrases

uml activity diagrams
formal verification
model checking
model checker
business process models
software engineering
graphical representation
formal methods
requirements specification
software development
temporal logic
metamodel