Engineering a safer world through proof, software, and safety-critical expertise
Prover helps organizations developing and operating safety-critical systems create confidence in the behavior of complex software-driven systems.
We combine formal methods, engineering software, domain expertise, and practical delivery experience to help customers structure requirements, model system behavior, verify critical properties, generate evidence, and manage safety-critical change with greater control.
Modern society depends on systems that must work safely and reliably. Trains must move without unsafe conflicts. Control systems must behave as intended. Critical infrastructure must evolve without losing trust.
Prover exists to help engineering teams build, verify, and maintain that trust.
We believe safety-critical engineering should not depend only on documents, manual interpretation, late-stage testing, or individual expert knowledge. It should be supported by structured requirements, executable models, formal verification, traceable evidence, and controlled lifecycle change.
That is the foundation of our mission: to help engineers engineer safer systems through formal methods, software, and repeatable assurance.
Contributing to a safer and more sustainable transport future
Rail transportation such as railroads, metros, commuter rail, and trams is among the most energy-efficient and environmentally friendly means of transportation. The ability to transport many passengers is vital for well-functioning urban areas.
At Prover, we are committed to contributing to a sustainable and safe world by providing solutions for the engineering of safety critical systems that control trains, signals, and switches.
Software and expertise for safety-critical engineering
Prover provides software, methods, and expert services for organizations that need to
prove and maintain the correctness of safety-critical systems.
Structure requirements and
data
Turn fragmented requirements, documents, engineering data, and system knowledge into clearer, more analyzable, and more verifiable baselines.
Build executable system understanding
Use models and digital twins to make system behavior visible, testable, and reusable earlier in the lifecycle.
Verify critical behavior
Apply simulation, automated analysis, and formal verification to prove that defined properties hold under modeled assumptions and conditions.
Generate stronger evidence
Create traceable, repeatable, and reviewable evidence for assurance, acceptance, certification, and change.
Control lifecycle change
Support upgrades, migration, recurring releases, and lifecycle modifications with stronger impact analysis and re-verification.
Work with practical delivery
expertise
Combine software, formal methods, domain knowledge, and customer delivery experience in safety-critical engineering environments.
Railway signaling systems are complex, long-lived, and safety-critical. They must support daily operation, infrastructure modernization, supplier coordination, regulatory requirements, and continuous change without compromising safety or service continuity.
Prover works with railway infrastructure managers, signaling suppliers, system integrators, and engineering partners to improve how signaling systems are specified, modeled, verified, automated, accepted, maintained, and modernized.
In railway signaling, Prover supports the engineering process from capturing and formalizing requirements, to creating digital twins, supporting design and development, and verifying that systems meet strict certification expectations such as CENELEC SIL 4.
Formal verification
Formal verification of signaling logic and critical safety properties.
Digital twins
Executable models and digital twins for signaling design, validation, and understanding.
Safety evidence
Safety evidence generation, acceptance support, and lifecycle re-verification.
Make intent explicit.
Make behavior executable.
Make evidence repeatable.
The earlier a system’s intended behavior is made precise and verifiable, the easier it becomes to reduce risk, automate engineering work, prove correctness, and manage change.
A practical formula for successful rail control projects
For rail control projects, Prover’s approach combines three connected disciplines: precise requirement specifications, automation in system development, and formal and automated methods to prove that requirements and safety are fulfilled.
Specialists in formal methods, software, and safety-critical engineering
Prover is built by people who care deeply about engineering correctness.
We work closely with customers and partners because safety-critical engineering is never only a tool problem. It requires shared understanding, regulatory compliance, practical methods, domain expertise, and long-term trust.
Prover quality certification
We strive to meet or exceed customer requirements in the delivery of our solutions and services. We ensure this goal by working per our quality management system (QMS), using best practices and conforming to existing standards.
Our leading market position derives from continuously listening to our customers, thus identifying market and customer requirements on cost efficient and future proof solutions with guaranteed safety.
We actively work in industry organizations and standardization bodies, such as UNIFE, IEEE and Shift2Rail to contribute to developing standards and best practices for the train control systems of tomorrow where safety, time to market and cost efficiency are paramount.
ISO 9001 certification
Prover has a quality management system (QMS) which has been certified in accordance with SS-EN ISO 9001:2015
The rail control systems market has very high requirements for quality, reliability, performance, flexibility and maintainability. Customer satisfaction is the basis for the development and growth of Prover.
CENELEC EN 50128 AND CENELEC 50716 SIL 4
Prover’s products meets the highest safety requirement and has been subject to rigorous testing and evaluation. Prover Certifier has been approved by TÜV NORD as a CENELEC EN 50716 and CENELEC EN 50128-compliant T2 tool for SIL 4 applications.
CENELEC is a safety standard for software used in railway control and protection systems. It defines a set of guidelines for the development of safety-critical software in the railway industry, with a focus on ensuring safety, reliability, and availability of these systems.
SIL 4 is the highest safety integrity level defined by the standard, indicating the software has the most stringent safety requirements. Compliance with CENELEC SIL 4 is necessary for the development and certification of safety-critical software for use in railway control and protection systems. Adhering to this standard ensures that the software meets the highest safety requirements and has been subject to rigorous testing and evaluation.
