TrackPlan 0.2

TrackPlan is a software application to help in the design and verification of railway interlocking systems.
Using TrackPlan, a diagram representing the components of an interlocking system (consisting of track segments, points and signals) as well as a control table representing the routes through this design can be quickly and easily created. By analysing the information in the diagram and control table using model checking, TrackPlan can then determine whether or not collisions or derailments might be possible.