We believe that good training and understanding in-depth how to use formal methods in practice is the secret to success. At Axiomise, we have spent years working on formal verification projects in the industry to understand what works well in practice and what doesn’t. We have learnt by doing it ourselves, and this hands-on experience is reflected in our training programme making it truly unique. We are regularly involved in carrying out verification work for industrial projects. It means our know-how remains current and we are able to bring the insights gathered in the field to the training room.
We have two types of courses: On-demand and Instructor-led.
Check our online portal for further information.