ICT Call 2010 / ICT10-050
Helmut Veith
Principal Investigator:
Helmut Veith Personal webpage
Vienna University of Technology Webpage
Project title:
PROSEED: Proof Seeding for Software Verification
Completed (01.01.2011 – 31.12.2014) 48 months
Funding volume:
€ 598,000


Recurrent bluescreens, program crashes, accidents and computer malfunctions are making us painfully aware that computer programming is difficult, and thus, program correctness is an inherent challenge of computer science. Program verification is a research field whose ultimate goal is to assert the correctness of a program with mathematical precision, i.e., by means of mathematical proof. Since programs can often be extremely large, it is not realistic for human engineers to construct proofs about programs by hand. Computer-aided verification therefore is using computers to prove the correctness of computer programs.
The PROSEED research project proposes an innovative approach to verification which is based on the insight that program texts are carrying important information which is directed at the human readers of the program. We will utilize this human engineering information in a logically sound framework for computer-aided verification.


This site uses cookies. By continuing to browse the site, you are agreeing to our use of cookies. Click for details.