Workshop Übersicht
- Datum: 1. April 2025
- Ort: Karlsruhe - in unserem neuen Hitex Büro
- Dauer: 13:00 bis 17:00
- Sprache: English
Dieser Workshop erweitert Ihre Fähigkeiten durch praktische Übungen und theoretische Einblicke in die fortgeschrittene Schwachstellenerkennung. Sie erhalten einen Überblick über Techniken zum Testen, Debuggen, Analysieren, UBs & Indeterminismen, abstrakte Interpretationsdiagramme, SLevel, Zeit-/Präzisionskompromisse.
Darüber hinaus sind wir gespannt auf den Vergleich mit anderen Analyselösungen an OSS-Beispielen.
Zertifizierung
Nach Abschluss des Workshops erhalten Sie ein weltweit anerkanntes Continuing Professional Development (CPD oder CE) Zertifikat, das Ihnen vier CPD Credits anrechnet. Diese Zertifizierung stärkt Ihr berufliches Portfolio und belegt Ihre fortgeschrittenen Fähigkeiten im Bereich der formalen Verifikation.
Wer sollte teilnehmen?
Dieser Workshop ist ideal für Ingenieure und Tester, die sich mit der Sicherheit und Zuverlässigkeit von C/C++ Code beschäftigen. Ob Sie ein erfahrener Profi sind oder Ihre Fähigkeiten erweitern möchten, dieser Workshop bietet wertvolle Einblicke und praktisches Wissen.
Entdecken Sie Karlsruhe
Nutzen Sie den Workshop für einen Besuch in Karlsruhe, das für seine einzigartige fächerförmige Anlage und sein reiches kulturelles Erbe bekannt ist. Entdecken Sie Attraktionen wie das historische Karlsruher Schloss, das Zentrum für Kunst und Medientechnologie (ZKM) und den wunderschönen Schlosspark. Genießen Sie die perfekte Mischung aus Geschichte, Kunst und Natur in dieser pulsierenden Stadt.
Sichern Sie sich Ihren Platz - Begrenzte Plätze verfügbar
Da nur 10 Plätze zur Verfügung stehen, empfehlen wir Ihnen, sich bald anzumelden, um Ihre Teilnahme zu sichern.
Mehr Informationen und Anmeldung auf der Website unseres Partners TrustInSoft.