parallel-sim

github.comtool

Distributed Simulation of Transport Networks.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   spark-railway-demo github.com

   tool category #ada link ↗

   Simulated railway network in SPARK/Ada.

2. ▲
   railway-simulation github.com

   tool category #ada link ↗

   Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide.

   
3. ▲
   spark-2014 github.com

   tool category #ada link ↗

   SPARK formal verification toolset.

   
4. ▲
   ghdl github.com

   tool category #ada link ↗

   VHDL 2008/93/87 simulator.

   
5. ▲
   network-simulator github.com

   tool category #network-js link ↗

   Simulate a low-level computer network.

   
6. ▲
   networkdiffusion github.com

   tool category #network-analysis link ↗

Ada/SPARK › Applications > Simulation: “Distributed Simulation of Transport Networks.”