UML-VT
A Formal Verification Environment for UML Activity Diagrams
UML-VT is an open source Eclipse plug-in that verifies UML activities against given requirements using well-know model checker tools such UPPAAL, SPIN, and NuSMV, and an experimental model checker PES. UML-VT is meant to support the integration of model checking into a MDD process. The integration aims to facilitate the use formal verification in the early phases of the development, and to create an easy to use interface regardless of the users knowledge of formal methods. Furthermore...