Find your nearest location or get in contact to get certified in formal verification

Get Certified in Formal Methods

NEW! For a limited time we're offering free formal verification workshops to the first 100 registrants. The workshop is originally valued at €100.

Man and woman shaking hands for certification

Paris

Join us for our Paris- La Défense certification session in partnership with AC6, professional trainers in embedded systems.

Karlsruhe

Join us for our Karlsruhe certification session in partnership with Hitex, a leading provider of embedded systems solutions.

FAQ

Which certification will I receive?

Continuing Professional Development Certification, most commonly known as CPD or CE. As our session is four hours long, you will receive four CPD credits along with globally recognized certification to demonstrate your new skills in formal verification.

Who should attend?

Engineers and testers concerned with safety/security/reliability in C/C++ code.

What is the cost?

This course is valued at 100 euros, but we are offering this certification free of cost for the first 100 registrants thanks to sponsorship from TrustInSoft and our partners.

I am interested in partnering up with TrustInSoft for a workshop in my area, who do I contact?

Please contact tatum.staab@trust-in-soft.com with any partnership inquiries for the workshops.

What if the workshop is not being offered in my area?

Please contact us stating your interest in attending a workshop and we will get in touch. We are always looking for new cities to bring the workshop to.