We at Prover are happy to announce that we have launched a training and certification program regarding Formal Methods in general and Formal Verification in particular.
After we conducted our Interlocking Design Automation survey during the spring of 2018 and also held our event, Signaling Design Automation Forum in May 2018, we saw that there is a demand for these types of training programs as well as for a certification program to ensure that engineers have the right skills.
We will go through
- This is a course about how to do signaling design automation in practice. We do that using Prover iLock, assuming that it has been loaded with Generic Application logic (there is a separate course for Generic Application Engineering).
- Useful hands-on training if you plan to use Prover iLock, or if you simply want to see how smooth signaling design automation can be made using good tools support such as built-in simulation and formal verification.
- You need some general railway signaling experience to attend this course