Computer-aided threat modeling
Requirement Modeling Tool
press ctrl button with shelf button to toggle imageplane
Uses GraphViz to draw UML class diagrams
A tool for parametric model checking of UPPAAL models.
PetriNetExec a library for embedding Petri Nets into Java applications
Visualize Galois sub-hierarchy of 2d matrix
Value Added Eclipse Indigo Platform