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.
In signaling design automation projects, we start by developing a digital twin of your existing, future, and conceptual systems.
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...
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...
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.
Learn more about our expertise in our guides, webinars and upcoming events
Webinars
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
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.
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.
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.
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 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 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.