SMOL - Network description language (SMOL), which has been designed to describe the necessary network functions, mechanisms, and devices; for the purpose of their computer simulation and verification.

A simulator that shows the resilience of distributed software systems.

A simulation of a some-what complex auto body shop model.