Application Engineering using Prover iLock

Learn How to Engineer Applications with Prover iLock

In this four‐day class, 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.

Application Engineering Certification

Price
€2400

Who should attend
Anyone curious to learn more about formal specification and signaling design automation tools.

Duration and format
Four consecutive days, classroom setting, 50/50 theory/practice split

Optional Certification
Prover Certified Application Engineer

Prerequisites
Basic signaling engineering experience

  • Day 1
    Students develop, simulate, and formally verify a complete solid‐state interlocking application from scratch using the standard PiSPEC demo library.
  • Day 2
    Students debug failing simulations and formal safety verification runs, thereby learning to identify errors and submit change requests.
  • Day 3-4
    Students get a brief introduction to PiSPEC and formal design, testing, and safety specifications. Students learn to perform basic modifications to the standard PiSPEC demo library.

Contact Prover