Tool support for the Z formal notation
SUMO is a microscopic, multi-modal traffic simulation.
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
This is a Java APP for Probability and Statistics Tables
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.