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 BSc (E184)
Soodeh Farokhi MSc (E184)
Projektass. Dipl.-Ing. Thomas Pani BSc (E184)
Privatdoz. Igor Konnov PhD (E184)
Privatdoz. Dipl.-Ing. Dr.techn. Josef Widder (E184)
Dipl.-Ing.(FH) Dr.techn. Andreas Holzer MSc (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)

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