Get Certified in Formal Verification in Karlsruhe

Get Certified Formal Verification in Karlsruhe

Pushing the Limits of Static Code Analysis with Hitex

Join us in Karlsruhe on April 1, 2025 for a half-day certification course with our partner Hitex in formal verification. Learn how to choose the right testing technique for the task and go deeper into advanced vulnerability detection using formal verification. Get hands-on experience with a powerful formal methods tool and learn how to find undefined behavior (UB) in C code examples.

Agenda

Theory: 1PM-2PM

Overviews of techniques for testing, debugging, analyzing, UBs & indeterminisms, abstract interpretation diagram,SLevel, time / precision trade-off
Comparison with other analysis solutions on OSS samples

First practical session on TIS-provided project: 2PM-3PM

Break: 3PM-3:30PM

Second Practical session: 3:30PM-4:30PM

General demo: 4:30PM-5PM

Limited Seats Available: Secure your spot today

Fill the form on the left of the page to register your spot for CPD certified formal verification workshop in partnership with Hitex, a leading provider of embedded systems solutions. As an introduction, we're offering the course for free for the first 100 registrants.

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.