Introduction to Formal Software Verification
In der ersten Sitzung erklärte Prof. Dr. Christoph Lüth die Grundlagen der formalen Verifikation. In seinem Vortrag ging er besonders auf die zentralen Techniken der formalen Semantik und Abstraktion ein und gab ein handfestes Beispiel.
Die vollständige Aufzeichnung findet sich hier:
Unser Redner
Prof. Dr. Christoph Lüth ist stellvertretender Direktor der Gruppe "Cyber-Physical Systems" des Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) in Bremen. Darüber hinaus lehrt er als Professor an der Universität Bremen an der Fakultät für Mathematik und Informatik.