Skip to content
Prover – Engineering a Safer World LogoProver – Engineering a Safer World LogoProver – Engineering a Safer World Logo
  • Solutions
    Solutions
    • Signaling design automation
    • Open signaling (COTS)
    • Relay signaling migration
    View all solutions
    Services
    • FM business case
    • Digital twins in tendering
    • Formal verification signaling issuesEliminate signaling issues

    View all services

    Products
    • Prover studioProver Studio
    • Prover iLockProver iLock
    • Prover CertifierProver Certifier

    View all products

    Prover Station
    New

    Prover Station
    Our new web-based platform for V&V processes, digital twins for enhanced testing.

    New

    Prover Labs
    AI-driven innovation. Explore and test our cutting-edge applications.

    • Our Solutions
    • Products
    • Services
    • Signaling Design Automation
    • Digital Twin
    • Open Signaling (COTS)
    • Prover Labs
  • Expertise
    Expertise
    • Formal methods
    • Safety
    • Verification & validation
    View all expertise
    Training
    • Specific application
    • Formal verification
    • Generic application

    View all training

    Resources
    • References
    • Guides
    • Webinars
    • Events
    CASE STUDY

    Succeed with migrations of old signaling and traffic management systems

    Ensure a safe, efficient transition from legacy signaling systems to modern solutions using digital twins.

    • Areas of Expertise
    • Training
    • References
    • Guide
    • Webinar
  • Innovation
    • Industry development
    • Formal languages
    • Industry organisations
  • News
  • Company
    • About us
    • Why Prover?
    • Career
  • Contact
  • SDA Forum
Home » Portfolio
References

Delivered Solutions to Railways around the World.

Delivered Solutions to Railways around the World.

Prover has successfully implemented signaling design automation to railway infrastructure managers around the world. From metros of Paris, New York and Stockholm to mainline railways in China.

Prover has successfully implemented signaling design automation to railway infrastructure managers around the world. From metros of Paris, New York and Stockholm to mainline railways in China.

  • Signal modernization at Stockholm Metro

    Modernizing Stockholm Metro’s TMS with safe, stepwise migration to PLC

    In this project, Prover enabled a safe and stepwise migration from legacy relay systems to a modern, PLC-integrated Traffic Management System for the Stockholm Metro.

  • SL metro

    Implementing Prover Trident for SL, Stockholm

    In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.

  • paris references featured

    Our formal verification solution for RATP, Paris

    In this project Prover collaborated with RATP in creating a formal verification solution to meet RATP demand for safety verification of interlocking software. RATP had selected a computerized...

  • Implementing the Prover iLock tool-suite for Canadian Pacific

    Class I freight railroad Canadian Pacific (CP) is increasing capacity and consistency in their design and test of interlocking software by using automation tools. In 2010, CP introduced automated...

  • Formal verification for Stockholm Central

    Stockholm Central and adjacent interlocking systems are based on electro-mechanical relay technology. Swedish Rail requires that the safety of changes made to these interlocking systems is verified using...

  • Formal specification for ERTMS L2, Sweden

    In this project, Ansaldo STS delivers the wayside systems to Trafikverket’s ERTMS Level 2 project ESTER, including a new computerized interlocking system. Trafikverket requires that their...

  • Formal Safety Verification for Bane NOR, Norway

    In projects for Jernbaneverket’s Nordlandsbanen line, the Ganddal freight terminal and the double track Sandnes-Stavanger, Prover provided turnkey services for safety...

  • Formal verification for Infrabel, Belgium

    In this project, Prover provided tools and services to help Infrabel increase the quality of requirement specifications for tendering of level crossing systems. Infrabel was preparing to replace...

  • Automated simulation and formal verification for Qinghai Tibet, China

    As part of a project for the Ministry of Railways of the People’s Republic of China, GE Transportation supplied 20+ interlocking systems for the Qinghai-Tibet railway. Prover joined this project...

  • Interlocking software for Light-rail, Stockholm

    In this project, Prover provided interlocking software to GE under a turn-key supply. The purpose was to reduce the calendar time required to develop, validate and verify interlocking software...

  • Generation and checking interlocking software for modular signaling, UK

    Prover worked with Siemens UK (formerly Invensys Rail) on generation and checking of Westrace Mk II interlocking software for Network Rail’s Modular Signaling...

  • Implementing Prover Trident for SL, Stockholm

    In this project, Prover provides the Prover Trident solution to Ansaldo STS, for development and safety approval of interlocking software for Roslagsbanan, a mainline railway line that connects...

  • Formal verification of SSI software for NYCT, New York

    New York City Transit (NYCT) is modernizing the signaling system in its subway by installing CBTC and replacing relay-based interlockings with computerized, solid state interlockings (SSIs).

Contact us

Quick links

Sign up to our newsletter!

AddressKrukmakargatan 21
118 51 Stockholm
Sweden

Phone info@prover.com

Phone +46 (0)8 617 68 00

Book a meeting
  • Solutions
  • About us
  • Contact
  • Privacy Policy
  • Prover Cloud Apps
  • FAQ & Glossary

Get the latest news and updates about Prover.

Prover – Engineering a Safer World LogoProver – Engineering a Safer World LogoProver – Engineering a Safer World Logo

© 2024 Prover Technology AB All Rights Reserved

Contact us

AddressKrukmakargatan 21
118 51 Stockholm
Sweden

Phone info@prover.com

Phone +46 (0)8 617 68 00

Book a meeting

Quick Links

  • Solutions
  • About us
  • Contact
  • Privacy Policy
  • Prover Cloud Apps
  • FAQ & Glossary

Sign up to our Newsletter!

Get the latest news and updates about Prover.

Prover – Engineering a Safer World LogoProver – Engineering a Safer World LogoProver – Engineering a Safer World Logo

© 2023 Prover All Rights Reserved

Page load link
Manage Consent

This website uses cookies to improve your experience. Cookies are small data files that are stored on your device when you visit our website. We use cookies to understand how you use our website and to be able to offer a more personalized and relevant experience.

We also use third-party cookies that help us improve our advertising and marketing. These cookies enable us to show you relevant advertisements based on your interests and past interactions on our website.

We protect your privacy and want to be open about how we use cookies. You can read more about our privacy policy to gain a deeper understanding of how we handle your personal data. If you do not want us to use cookies, you can change your settings at any time. By continuing to use our website, you agree to our use of cookies and agree to our privacy policy.

Functional Always active
These cookies are essential for the proper functioning of the website and cannot be disabled. They enable core features such as page navigation, security, and access to secure areas. These cookies do not store any personal data and are required for the website to operate correctly.
Preferences
These cookies allow the website to remember your settings and choices, such as language preferences or login details, to enhance your user experience. They are only stored if you choose to allow them.
Statistics
The technical storage or access that is used exclusively for statistical purposes. These cookies help us analyze how visitors use our website by collecting anonymized or pseudonymized data on website traffic and performance. This information helps improve our content and services. These cookies are only set if you give your consent, and some data may be shared with third-party analytics providers where applicable.
Marketing
These cookies track your browsing behavior across websites to provide personalized advertisements and measure the effectiveness of marketing campaigns. They may be set by us or by advertising partners, who may use this information to create a profile of your interests. These cookies require your consent and can be disabled at any time.
Manage options Manage services Manage {vendor_count} vendors Read more about these purposes
View preferences
{title} {title} {title}
Go to Top