Areas of expertise

Areas of expertise

Prover expertise covers a range of areas needed for successful digitalization of cost-efficient, reliable and safe rail control solutions.

Prover expertise covers a range of areas needed for successful digitalization of cost-efficient, reliable and safe rail control solutions.

References

Prover’s innovative solution bring benefits to many types of Rail Control Projects.

World-class training
World-class training
Education

World-class Training

Our experienced and highly skilled professional services team provides software, training and support in order for you to succeed with your rail control projects.

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

  • Specific Application Engineering with Prover iLock

Education

World-class Training

Our experienced and highly skilled professional services team provides software, training and support in order for you to succeed with your rail control projects.

  • Specific Application Engineering with Prover iLock

  • Formal Verification with Prover iLock and Prover Certifier

  • Specific Application Engineering with Prover iLock

Railway industri development

Driving innovation & shaping standards

Prover is a thought leader in the industry actively driving innovation, shaping standards and developing best practices for efficient development and verification of rail control systems. Prover contributes to the automation and digitization of modern rail control systems through various industry organisations and forums, collaboration with Academia and driving new innovations.

Forum

SDA Forum

The SDA Forum is an annual event initiated by Prover to embrace the latest evolutions of design automation and formal verification software technologies to automate design and verification of railway signaling systems. The SDA Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies. The forum will help the industry to meet and share valuable knowledge and ideas for how to drive innovation in railway safety and more efficient software development. Learn more about SDA Forum.

SDA Forum

The SDA Forum is an annual event initiated by Prover to embrace the latest evolutions of design automation and formal verification software technologies to automate design and verification of railway signaling systems. The SDA Forum invites signaling management representatives to foster collaboration, drive standards, and to assist implementation strategies. The forum will help the industry to meet and share valuable knowledge and ideas for how to drive innovation in railway safety and more efficient software development. Learn more about SDA Forum.

HLL Forum

The HLL Forum is the community for us who use the formal specification language HLL. It is a high level language for formal verification of safety critical systems developed by Prover and RATP. As it has started to become a de facto standard, we wanted to make sure that the language develops in a controlled way to meet the demands of the future. The HLL-Forum is focused on standardizing the HLL langugage and making it available for eveyone to use. Read more about HLL Forum.

HLL Forum

The HLL Forum is the community for us who use the formal specification language HLL. It is a high level language for formal verification of safety critical systems developed by Prover and RATP. As it has started to become a de facto standard, we wanted to make sure that the language develops in a controlled way to meet the demands of the future. The HLL-Forum is focused on standardizing the HLL langugage and making it available for eveyone to use. Read more about HLL Forum.

CBTC User Group

CBTC User Group as a forum to exchange experiences and best practices on Communication-Based Train Control (CBTC) systems. One area of interest is the use of formal specifications as a way to maximize the benefits of investments in train control systems, and to simplify the interaction between metros and suppliers. Learn more about CBTC User Group.

CBTC User Group

CBTC User Group as a forum to exchange experiences and best practices on Communication-Based Train Control (CBTC) systems. One area of interest is the use of formal specifications as a way to maximize the benefits of investments in train control systems, and to simplify the interaction between metros and suppliers. Learn more about CBTC User Group.