Verification and validation are critical processes in rail control projects. Verification ensures that the system meets the specified requirements and design, while validation ensures that the system meets the user’s needs and operates as intended. Both processes involve testing, analysis, and documentation to ensure safety and reliability in railway operations.
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)!
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
Infrastructure managers (IM) that tender and purchase new rail control and signaling systems, seek to have the new systems delivered [...]
For the next big advancement in the development of faster and more efficient transportation, the railway industry has to [...]
If you have read the first two parts of this series (Read Part 1 here and Part 2 here), then [...]
Our model checker Prover SL CE (PSL) is getting a lot faster thanks to artificial intelligence techniques (AI)!
We are starting to receive customer feedback about our model checker PSL. Truly exciting reading! “Our proof time [...]
The formal language HLL (High Level Language) has emerged in recent years as a quite popular language for formal verification of safety-critical [...]
Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on [...]
Infrastructure managers (IM) that tender and purchase new rail control and signaling systems, seek to have the new systems delivered [...]
Fill out your information here.
In this meeting you’ll find out how digital twins and formal methods can help you achieve your rail control projects in less time and lower costs. And 100% secure system.
© 2024 Prover Technology AB All Rights Reserved
© 2023 Prover All Rights Reserved
+46 (0)8 617 68 00