OpenGL 3D Mesh generating library
Java library implementing a state machine by the UML standard.
An editor for presentation models and presentation interaction models
Computer-aided threat modeling
Stochastic parameter sensitivity analysis for chemical networks
Requirement Modeling Tool
A tool for parametric model checking of UPPAAL models.