http://www.win.tue.nl/empanada/downloads/SquATSetup.exe

 The SquAT tool identifies the conformance of UML sequence diagrams to predefined rules. These rules include consistency and completeness rules as well as checks to assure conformance to behavioral patterns. The tool uses formal verification techniques such as a model checker.


Share