spark-railway-demo

github.comtool

Simulated railway network in SPARK/Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   parallel-sim github.com

   tool category #ada link ↗

   Distributed Simulation of Transport Networks.

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. ▲
   spark-by-example github.com

   tool category #ada link ↗

   Collection of verified functions and data types in SPARK.

5. ▲
   ghdl github.com

   tool category #ada link ↗

   VHDL 2008/93/87 simulator.

   
6. ▲
   spark-connect-rs github.com

   tool category #spark link ↗

   Rust bindings.

   

Ada/SPARK › Hardware and Embedded > Applications: “Simulated railway network in SPARK/Ada.”