Proof Seeding for Software Verification

01.01.2011 - 31.01.2015
Research funding project

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.

People

Project leader

Project personnel

Institute

Grant funds

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

Research focus

  • Computational Intelligence: 100%

Keywords

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

Publications