Get Certified in Formal Verification in Karlsruhe

Pushing the Limits of Static Code Analysis with TrustInSoft and Hitex

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

10 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 courses for free for the first 100 registrants. Please note that there will only be 10 spots available at the workshop in Karlesruhe.

To promote this and all future events, photos and videos will be taken at the event for marketing purposes. If you would not like to be photographed please contact tatum.staab@trust-in-soft.com directly.

An Introduction to Karlsruhe from Hitex

Karlsruhe in Germany, known as the "city of sunshine", captivates visitors with its unique fan-shaped layout, where streets radiate from the central palace. At the heart of Karlsruhe is the magnificent palace built in 1718, now home to the Baden State Museum. It's worth climbing the tower and strolling through the palace gardens. The palace garden train is a highlight for families and children.

As the "Residence of Law," Karlsruhe hosts the Federal Constitutional Court, the Federal Court of Justice, and the Office of the Federal Public Prosecutor General, emphasizing its role as Germany's judicial center.

Art and culture enthusiasts will enjoy the Center for Art and Media (ZKM), a leading museum for new media. Another creative hotspot is the Alte Schlachthof area, which combines art, culture and a vibrant start-up scene.

Karlsruhe also boasts numerous green spaces, including the palace garden, zoological garden, and Günther-Klotz-Anlage, perfect for relaxing, walking, or picnicking.

Visit Karlsruhe to experience a blend of history, law, art, and nature! – and to learn more about formal verification!

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.