Cel
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.
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
FP7-PEOPLE-2011-IOF
Zobacz inne projekty w ramach tego zaproszenia
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
75794 PARIS
Francja
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.