Proof Seeding for Software Verification

01.01.2011 - 31.01.2015
Forschungsförderungsprojekt

The project ist concerned with new methods for automated software verification, in particular by model checking, testing, and abstract interpretation. The project has a focus on heuristics to exploit informal information from the program in the analysis.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Grant funds

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Vienna Science and Technology Fund (WWTF)

Forschungsschwerpunkte

  • Computational Intelligence: 100%

Schlagwörter

DeutschEnglisch
Computerunterstützte KontrolleComputer aided verification
Software Modell PrüfungSoftware model checking
Statische Analysestatic analysis
Logiklogic in computer Science

Publikationen