Project Description

Specific Application Engineering with Prover iLock

Learn how to Generate Code for an Interlocking System

In this four-day training program engineers will learn how to code, simulate and formally verify signaling applications using Prover iLock. It is a practical hands-on training session that introduces formal techniques and PiSPEC, and gives in-depth knowledge of the Prover iLock software tool.

Who should attend

Anyone curious to learn more about signaling design automation tools.


Basic signaling engineering experience


Prover Certified Specific Application Engineer (CSAE)



What you will learn

  • Overview of the Prover Trident process and the program Prover iLock
  • The concept of formal generic specifications
  • Generating code with Prover iLock
  • Simulating with Prover iLock (interactive and scripted)
  • Formally verifying with Prover iLock
  • Generating documentation with Prover iLock

Duration and format

Four consecutive days, classroom setting, 50/50 split theory/practice

Download PDF

Send a request by filling out the form!

We will get back to you to book a date.