In this training program engineers will learn the process of formal verification and how to use Prover iLock to investigate problems found using formal verification. Sign-off verification using the languages HLL and LCF with Prover Certifier is also covered.
Who should attend
Anyone involved in verifying safety and signaling applications in organizations who use or consider using formal verification.
Basic signaling engineering experience
Prover Certified Verification Engineer (CVE)