SSI is the brand name of the first-generation processor-based interlocking developed in the 1980s by British Rail’s Research Division, GEC-General [...]
A formal system is sound if and only if every formula that can be proved in the system is valid [...]
Shift2Rail will be the first European rail joint technology initiative to seek focused research and innovation (R&I) and market-driven solutions [...]
The Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining [...]
Safety property is a property that must be fulfilled by the system in order for the system to be considered [...]
The specific application (SA) is being generated based on the generic application (GA) and specific application configuration data such as [...]
Program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program.
Relay based interlocking (RBI) is an interlocking system consisting of a complex circuitry made up of relays in an arrangement [...]
RAMS stand for reliability, availability, maintainability and safety.
Positive train control (PTC) is the North American freight railway implementation of CBTC.
SSI is the brand name of the first-generation processor-based interlocking developed in the 1980s by British Rail’s Research Division, GEC-General [...]
A formal system is sound if and only if every formula that can be proved in the system is valid [...]
Shift2Rail will be the first European rail joint technology initiative to seek focused research and innovation (R&I) and market-driven solutions [...]
The Boolean satisfiability problem (sometimes called propositional satisfiability problem and abbreviated as SATISFIABILITY or SAT) is the problem of determining [...]
Safety property is a property that must be fulfilled by the system in order for the system to be considered [...]
The specific application (SA) is being generated based on the generic application (GA) and specific application configuration data such as [...]
Program refinement is the verifiable transformation of an abstract (high-level) formal specification into a concrete (low-level) executable program.
Relay based interlocking (RBI) is an interlocking system consisting of a complex circuitry made up of relays in an arrangement [...]
RAMS stand for reliability, availability, maintainability and safety.
Positive train control (PTC) is the North American freight railway implementation of CBTC.
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.
