Specific application engineering with Prover iLock
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.
Prerequisites
Basic signaling engineering experience
What you will learn
Yes please, contact me!