World-class Training

Our experienced and highly skilled professional services team provides software, training and support in order for you to succeed with your rail control projects.

Prover training

Three solution-oriented programs

Prover provides comprehensive training and certification programs to enable infrastructure managers, suppliers and engineering firms to use formal methods and design automation in their signaling systems projects.

4 DAYS TRAINING

Specific Application Engineering with Prover iLock

Learn how to Generate Code for an Interlocking System

In this course:

Formal generic specifications
Generating code with Prover iLock
Simulating with Prover iLock
Formally verifying with Prover iLock

Learn more

4 DAYS TRAINING

Formal Verification with Prover iLock and Prover Certifier

Learn how to Formally Verify Interlocking Systems

In this course:

Formal specification of safety requirements
The modeling language HLL
The configuration data language LCF

Learn more

3 weeks training

Generic Application Engineering with PiSPEC

Learn how to Formally Specify Generic Signaling Principles

In this course:

How to specify an object model for a generic application
How to specify a Generic Application Configuration
How to make a Generic Design Specification

Learn more

Are you interested in support or tailored training solutions?

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.