ICT Call 2015 / ICT15-003
Monika Henzinger  Krishnendu Chatterjee
Principal Investigator:
Monika Henzinger Personal webpage
Institution:
University of Vienna Webpage
Projekttitel:
Efficient Algorithms for Computer Aided Verification Project Webpage
ProjektpartnerInnen:
Krishnendu Chatterjee (Institute of Science and Technology Austria) (Co-Principal Investigator) Personal webpage
Status:
Laufend (15.03.2016 – 14.03.2020) 48 Monate
Fördersumme:
€ 422.000

 
Kurzzusammenfassung:

Das Ziel unseres Projektes ist die Entwicklung effizienter Algorithmen für die computer-unterstützte Verifikation von Hard- und Softwaresystemen. Durch die steigende Komplexität von Hard- und Softwaresystemem und der Anforderung, dass sich die Zeit, die für die Verifikation dieser Systeme benötigt wird nicht weiter erhöhen soll, ergibt sich der dringende Bedarf an effizienten Algorithmen in diesem Bereich. Basierend auf einem im Jahr 2015 erfolgreich abgeschlossenen Projekt (das vom FWF unterstützt wurde) in dem neue Algorithmen für relative einfache Verifikationsprobleme entwickelt wurden, wird dieses Projekt Algorithmen für anwendungsnähere, und daher auch kompliziertere Problemstellungen entwickeln.
Die entwickelten Algorithmen werden in diesem Projekt auch prototypisch implementiert und in bereits existierende Verifikationstools integriert.

 
Scientific disciplines: 102005 - Computer aided design (CAD)

Diese Seite verwendet Cookies. Durch das Nutzen dieser Seite sind Sie mit der Verwendung von Cookies einverstanden. Details finden Sie hier.