Difference between revisions of "Main Page"
(VERIMAG) |
Xavier Leroy (talk | contribs) |
||
| Line 2: | Line 2: | ||
[[File:Airbus A380 P1230288.jpg|300px]] | [[File:Airbus A380 P1230288.jpg|300px]] | ||
| − | '''VERASCO''' is a research project funded by | + | '''VERASCO''' is a research project that investigates the formal verification of static analyzers and of compilers, two families of tools that play a crucial role in the development and validation of critical embedded software. VERASCO is funded by grant ANR-11-INSE-003 |
| + | from [http://www.agence-nationale-recherche.fr/ ANR, the French National agency for research]. See the list of [[partners]] and a [[summary]] of the project. | ||
| − | '''VERASCO''' est un projet de recherche financé par [http://www.agence-nationale-recherche.fr/ l'Agence | + | '''VERASCO''' est un projet de recherche qui étudie la vérification formelle d'analyseurs statiques et de compilateurs, deux familles d'outils qui jouent un rôle crucial dans le développement et la validation des logiciels embarqués critiques. VERASCO est |
| + | financé par [http://www.agence-nationale-recherche.fr/ l'Agence Nationale de la Recherche], projet ANR-11-INSE-003. Voir la liste des [[partners|partenaires]] et un [[résumé]] du projet. | ||
<small> | <small> | ||
This Web site is hosted at [[Image:Logo VERIMAG vectorise.svg|50px|alt=VERIMAG]]. | This Web site is hosted at [[Image:Logo VERIMAG vectorise.svg|50px|alt=VERIMAG]]. | ||
</small> | </small> | ||
Revision as of 10:17, 11 March 2012
VERASCO is a research project that investigates the formal verification of static analyzers and of compilers, two families of tools that play a crucial role in the development and validation of critical embedded software. VERASCO is funded by grant ANR-11-INSE-003 from ANR, the French National agency for research. See the list of partners and a summary of the project.
VERASCO est un projet de recherche qui étudie la vérification formelle d'analyseurs statiques et de compilateurs, deux familles d'outils qui jouent un rôle crucial dans le développement et la validation des logiciels embarqués critiques. VERASCO est financé par l'Agence Nationale de la Recherche, projet ANR-11-INSE-003. Voir la liste des partenaires et un résumé du projet.
This Web site is hosted at 
.
