Objective Software complexity is growing, so is the demand for software verification. Soon, perhaps within a decade, wide deployment of software verification tools will be indispensable or even mandatory to ensure software reliability in a large number of application domains, including but not restricted to safety and security critical systems. To adequately respond to the demand we need to eliminate tedious aspects of software verifier development, while providing support for the accomplishment of creative aspects. We believe that the next generation of software verifiers will be constructed from logical specifications designed by quality/verification engineers with expertise in the application domain. Give a specification describing a verification method, a corresponding software verifier will be obtained by implementing a frontend that translates software source code into constraints according to the specification and then coupling the frontend with a highly-tuned general-purpose constraint solver, thus eliminating the need for algorithmic implementation efforts from the ground up. This project proposes the necessary methodology, solving algorithms, and tools for building verifiers of the future. Fields of science natural sciencescomputer and information sciencessoftware Programme(s) FP7-IDEAS-ERC - Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Topic(s) ERC-SG-PE6 - ERC Starting Grant - Computer science and informatics Call for proposal ERC-2012-StG_20111012 See other projects for this call Funding Scheme ERC-SG - ERC Starting Grant Host institution TECHNISCHE UNIVERSITAET MUENCHEN EU contribution € 1 476 561,60 Address Arcisstrasse 21 80333 Muenchen Germany See on map Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Administrative Contact Ulrike Ronchetti (Ms.) Principal investigator Andrey Rybalchenko (Prof.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data Beneficiaries (1) Sort alphabetically Sort by EU Contribution Expand all Collapse all TECHNISCHE UNIVERSITAET MUENCHEN Germany EU contribution € 1 476 561,60 Address Arcisstrasse 21 80333 Muenchen See on map Region Bayern Oberbayern München, Kreisfreie Stadt Activity type Higher or Secondary Education Establishments Administrative Contact Ulrike Ronchetti (Ms.) Principal investigator Andrey Rybalchenko (Prof.) Links Contact the organisation Opens in new window Website Opens in new window Total cost No data