Direkt zum InhaltDirekt zur Navigation

Navigation

Constraint-basierte Techniken in der automatisierten Programmanalyse

Datum 06.02.2017 13:45 - 15:15
Ort Z417
Exportieren ICS-Export
CarstenFuhs.jpg

Vortrag von Dr. Carsten Fuhs, Birbeck University of London

In den letzten Jahren hat die Entwicklung automatisierter Software-Werkzeuge für die Programmanalyse beeindruckende Fortschritte gemacht. Dabei können auch eigentlich unentscheidbare Korrektheitseigenschaften wie z.B. Terminierung (wird die Ausführung des Programms garantiert irgendwann enden?) oder Safety (werden nur erwünschte Programmzustände erreicht?) oftmals vollautomatisch bewiesen werden, oder es kann eine Eingabe generiert werden, für die das Programm unerwünschtes Verhalten zeigt.

Diese Fortschritte sind zu einem großen Teil dem Einsatz von spezialisierten Constraint-Solvern zu verdanken. Dabei handelt es sich um Software-Werkzeuge, die für eine gegebene logische Formel eine erfüllende Belegung als Lösung finden oder aber zeigen, dass keine solche Lösung existiert. Der Vortrag gibt einen Einblick in den Stand der Technik bei der constraint-basierten Programmanalyse.

Zur Person

Dr. Carsten Fuhs ist Lecturer bei Birkbeck, University of London. Seine Forschungsschwerpunkte liegen im Bereich der automatischen constraint-basierten Programmanalyse für verschiedene Programmierparadigmen. Er ist einer der Hauptentwickler des Programmanalyse-Werkzeugs AProVE.

Termine
21. Fakultätsratssitzung IMN 27.09.2017 14:30 - 16:30 — Z417
World Usability Day 09.11.2017, HTWK-Veranstaltung 09.11.2017 09:00 - 17:00 — HTWK Leipzig, Gutenberg-Bau
Verteidigungen
Bachelorverteidigung Aruscha Kramm Raum: Z 417
Beginn: 26.09.17 - 09:00
Masterverteidigung Alexander Twrdik Raum: Z417
Beginn: 26.09.17 - 14:00
Masterverteidigung Sebastian Knabe Raum: ***Li 125***
Beginn: 27.09.17 - 09:00
Bachelorverteidigung Patrick Jeckel Raum: *** Li 125 ***
Beginn: 27.09.17 - 10:30
Bachelorverteidigung Martin Schmidt Raum: Z 417
Beginn: 27.09.17 - 12:30