Succeed with migrations of old signaling and traffic management systems
Joint webinar with Prover & Cactus Rail. Succeed with migrations of old signaling and traffic management systems.
Jesper Carlström2025-01-30T09:06:10+01:00AI, Formal methods, Webinar|
Joint webinar with Prover & Cactus Rail. Succeed with migrations of old signaling and traffic management systems.
Jesper Carlström2025-01-21T09:11:01+01:00Formal methods, Safety|
Discover how reachability analysis enhances formal verification by ensuring realistic scenarios and validating safety requirements in railway signaling systems. Learn about key techniques, including proof coverage, constraints softening, and early-stage validation, and explore how our tools make this process more efficient.
Jesper Carlström2024-11-06T10:42:56+01:00Company news, Software development|
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Jesper Carlström2025-01-09T14:38:02+01:00Company news, Software development|
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Jesper Carlström2025-01-09T14:47:51+01:00Company news, Formal methods, Verification & validation|
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
Jesper Carlström2025-01-13T14:56:40+01:00Company news, Modeling|
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
Jesper Carlström2025-01-13T14:39:06+01:00Company news|
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4.
Jesper Carlström2025-01-13T14:42:13+01:00Company news|
Are you sure that the drawings and documents that were approved by safety review did not change after review? [...]
Jesper Carlström2024-07-22T22:33:31+01:00Verification & validation|
Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]
Jesper Carlström2024-06-20T10:38:21+01:00Software development|
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
Jesper Carlström2025-01-30T09:06:10+01:00AI, Formal methods, Webinar|
Joint webinar with Prover & Cactus Rail. Succeed with migrations of old signaling and traffic management systems.
Jesper Carlström2025-01-21T09:11:01+01:00Formal methods, Safety|
Discover how reachability analysis enhances formal verification by ensuring realistic scenarios and validating safety requirements in railway signaling systems. Learn about key techniques, including proof coverage, constraints softening, and early-stage validation, and explore how our tools make this process more efficient.
Jesper Carlström2024-11-06T10:42:56+01:00Company news, Software development|
Prover PSL, the leading model checker used for formal verification in the rail and metro signaling domain, is now even faster.
Jesper Carlström2025-01-09T14:38:02+01:00Company news, Software development|
Prover Certifier has now been certified by TÜV NORD as a CENELEC EN 50716-compliant T2 tool for SIL 4 applications.
Jesper Carlström2025-01-09T14:47:51+01:00Company news, Formal methods, Verification & validation|
Prover Station is a comprehensive platform designed to meet the most demanding requirements of the railway and metro signaling industry
Jesper Carlström2025-01-13T14:56:40+01:00Company news, Modeling|
In this blog post, we talk about the release of Prover PSL 5.8 – Now featuring strategy fusion for unmatched performance.
Jesper Carlström2025-01-13T14:39:06+01:00Company news|
Prover Certifier now has a very powerful IC3 strategy, thanks to the release of Prover PSL 5.4.
Jesper Carlström2025-01-13T14:42:13+01:00Company news|
Are you sure that the drawings and documents that were approved by safety review did not change after review? [...]
Jesper Carlström2024-07-22T22:33:31+01:00Verification & validation|
Prover Certifier just took a new major step when we received a certificate from TÜV Nord ensuring that Prover [...]
Jesper Carlström2024-06-20T10:38:21+01:00Software development|
Last week we gave away our innovation Layout Configuration Format (LCF), to help infrastructure managers transition from drawings to structured [...]
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.
Get the latest news and updates about Prover.
Krukmakargatan 21 118 51 Stockholm Sweden |
+46 (0)8 617 68 00
Get the latest news and updates about Prover.
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.
Settings Approve Reject