Objective
The development of formal methods for the verification of computer systems is recognized
as a grand challenge by many research institutions. A successful approach for the verification of
systems consists in modelling the system to be verified by a mathematical structure and
in expressing behavioral properties in a logical formalism. The assumption that programs are
finite-state is usually too restrictive and model-checking techniques for infinite-state systems
have flourished these last 20 years. Our research program is motivated by the following assessment: most of model-checking techniques to verify infinite-state systems are mainly interested on the control and less on the data values stored by local or global program variables.
In this project, the applicant shall develop verification techniques for systems heavily manipulating data, will design relevant formal specification languages to express properties on data, develop algorithms using SMT solvers that are essential for computer-aided verification. This latter method is mastered by the members of the host institution, Analysis of Computer Systems Group at New York University CS Department.
In view of expanding the applicant's skills and competencies, the research training objectives are
mainly to get a new expertise in an emerging technology mixing verification and automated deduction, to reach a position of professional maturity by initiating a new research team in the return host dedicated to SMT techniques and to provide transfer of knowledge by the supervision of early-stage researchers and by proposing new curriculum in master programmes.
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP7-PEOPLE-2011-IOF
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
75794 Paris
France
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.