Tool support for the Z formal notation
SUMO is a microscopic, multi-modal traffic simulation.
Eclipse-based IDE for design verification tasks
The Repast Suite is a family of free agent-based modeling libraries.
Modeling and Simulation made NiCE!
openSCADA® is an open source SCADA system written in JAVA
Examples for the aXBench.