The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to [...]
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
Smart Rail Europe is the event attended by rail technology professional involved in the digitization of European railway. The conference [...]
Infrastructure managers (IM) that tender and purchase new rail control and signaling systems, seek to have the new systems delivered [...]
The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our [...]
In my last post I wrote about how to write a decent specification on a quite general level. This time, [...]
Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to [...]
Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The [...]
With the opening of Roslags Näsby on December 10, we proudly conclude that we contributed to 10 interlockings so far [...]
Prover recently started its first project in China, so in the beginning of December Prover did a tour to China, [...]
In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at [...]
Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway interlocking systems, ready [...]
Smart Rail Europe is the event attended by rail technology professional involved in the digitization of European railway. The conference [...]
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