Nov 14, 2025 · Prover is a world leader in formal methods and formal verification for safety critical systems. The company was founded in 1996 in Stockholm, Sweden, and has gained extensive …

At Prover we are committed to provide solutions for the engineering of safety critical systems that control trains, signals and switches.

HLL is a declarative, stream-based language with a large panel of types and operators. It is suitable for modelling discrete-time sequential behaviors and expressing temporal properties of these behaviors. …

Prover Station is a next-gen web-based platform designed to simplify the design, verification, and validation of complex rail and metro signaling systems.

Prover iLock is a desktop tool for producing fully documented, tested, and verified application software for railway signaling systems. Ready for compilation and installation on the target platform.

Prover and Stockholm Public Transport is launching a project to create a model-based environment for traffic control systems. By integrating digital twins and simulation tools, the initiative will improve …

Infrastructure managers, suppliers, remote repair crews and station staff all stand to benefit from having a digital twin of a railway.

Contact us for Increased Capacity & Reliability in Creating Modern Railway Interlocking Systems. Lower cost, fast delivery and 100% safety.

The importance of quality specifications: Formal Verification is used to ensure systems fulfil selected properties with 100% certainty.

Prover is a thought leader in the industry actively driving innovation, shaping standards and developing best practices for efficient development and verification of rail control systems.