Proof Seeding for Software Verification

01.01.2011 - 31.01.2015

Forschungsförderungsprojekt

Das Projekt befasst sich mit neuen Methoden zur automatischen Verifikation von Software, insbesondere durch Model Checking, Testen und abstrakte Interpretation. Ein Schwerpunkt liegt auf der Verwendung von Heuristiken, welche informale Informationen aus dem Programm zur Analyse nutzen.

Personen

Projektleiter_in

Dipl.-Ing. Dr.techn. Helmut Veith (E184)

Projektmitarbeiter_innen

Dipl.-Ing. Johannes Birgmeier (E184)
Soodeh Farokhi (E184)
Projektass. Dipl.-Ing. Thomas Pani (E184)
Projektass. Igor Konnov (E184)
Privatdoz. Dipl.-Ing. Dr.techn. Josef Widder (E184)
Dipl.-Ing.(FH) Dr.techn. Andreas Holzer (E184)
Mag. Yulia Demyanova (E184)

Institut

E184 - Institut für Informationssysteme

Förderungsmittel

WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) Fördergeber Typ Bundesland Wien

Forschungsschwerpunkte

Information and Communication Technology

Schlagwörter

Deutsch	Englisch
Computerunterstützte Kontrolle	Computer aided verification
Software Modell Prüfung	Software model checking
Statische Analyse	static analysis
Logik	logic in computer Science