Hands-on system development training
Prover provides hands-on training and professional certification programs that enable operators and suppliers to realize the benefits of PiSPEC and Prover iLock.
The basic one-week Application Engineering course teaches engineers how to use the Prover iLock software suite to design, simulate and formally verify signaling applications. Upon completion and passing a written test, the student becomes a Prover Certified Application Engineer.
The advanced three-week Specification Engineering course teaches engineers how to develop their own PiSPEC libraries. Upon completion and passing a written test, the student becomes a Prover Certified Specification Engineer.
Prover and its service partners also provide customized training in Prover iLock and PiSPEC.
Scheduled Training Sessions
-
Application Engineering using Prover iLock
July 28-31, San Francisco
In this four‐day class, engineers will learn how to code, simulate, and formally verify signaling applications using Prover iLock.
-
Formal methods for signaling systems
Sept 2-5, Stockholm, Sweden
In Swedish: Kursen lär deltagarna att förstå hur formella metoder kan användas vid projektering och verifiering av signalanläggningar. Kursen ges i sammarbete med Banverket.
-
Formal methods for signaling systems
Sept 16-19, Oslo, Norway
In Swedish: Kursen lär deltagarna att förstå hur formella metoder kan användas vid projektering och verifiering av signalanläggningar. Kursen ges i sammarbete med Banverket.
-
Application Engineering using Prover iLock
Sept 22-25, New York
In this four‐day class, engineers will learn how to code, simulate, and formally verify signaling applications using Prover iLock.
-
Specification Engineering using PiSPEC
Oct 6-9, Nov 3-6, Dec 8-11, New York
In this three‐week class, engineers learn how to review, develop, and maintain formal specifications using PiSPEC.
