I am currently actively developing the OnTrack Toolset that automates workflows for railway verification.
Starting from a editor for graphical scheme plans, OnTrack allows the development and generations of formal models “set up” for verification. OnTrack is grounded on an established domain specification language (DSL) and is generic in the formal specification language used. Using a DSL allows the formulation of abstractions that work for verification in several formal specification languages.
OnTrack has been developed in collaboration with Helen Treharne, Matthew Trumble and Steve Schneider from the University of Surrey. Some small demo videos of the OnTrack railway editor can be found here and here.
A release is planned shortly, but if you wish to acquire the toolset please drop me an email.