Formal Verification Workshop

Formal Verification Workshop with TrustInSoft

Workshop Overview

  • Date: April 1, 2025
  • Location: Karlsruhe, Germany in the new Hitex offices
  • Duration: 1 PM - 5 PM
  • Language: English

This workshop will enhance your skills with hands-on sessions and theoretical insights into advanced vulnerability detection. You will get an overview of techniques for testing, debugging, analysis, UBs & indeterminisms, abstract interpretation diagram, SLevel, time / precision trade-off.
In addition, we are excited to see the comparison with other analysis solutions on OSS samples.

Certification Benefits

Upon completion, you will receive a globally recognized Continuing Professional Development certification (known as CPD or CE), earning four CPD credits. This certification will bolster your professional portfolio and demonstrate your advanced skills in formal verification.

Who Should Attend?

This workshop is ideal for engineers and testers focused on the safety, security, and reliability of C/C++ code. Whether you're an experienced professional or looking to expand your skill set, this workshop offers valuable insights and practical knowledge.

Explore Karlsruhe

Take advantage of your visit to Karlsruhe, renowned for its unique fan-shaped layout and rich cultural heritage. Discover attractions such as the historic Karlsruhe Palace, the Center for Art and Media (ZKM), and the beautiful palace gardens. Enjoy the perfect blend of history, art, and nature in this vibrant city.

Secure Your Spot – Limited Seats Available

With only 10 seats available, we encourage you to register soon to ensure your participation. Don’t miss this chance to advance your career and connect with industry peers in a beautiful and historic setting.

See our partner TrustInSofts website for more information