Difference between revisions of "Main Page"
Jump to navigation
Jump to search
(+VPL) |
Xavier Leroy (talk | contribs) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 8: | Line 8: | ||
* [[publications|Publications of the project]] | * [[publications|Publications of the project]] | ||
| + | * [http://compcert.inria.fr/verasco/ The Verasco C static analyzer] | ||
* [[VPL]] [VERIMAG|VERASCO] polyhedra library | * [[VPL]] [VERIMAG|VERASCO] polyhedra library | ||
| Line 17: | Line 18: | ||
* [[partners|Liste des participants]] | * [[partners|Liste des participants]] | ||
* [[publications|Publications du projet]] | * [[publications|Publications du projet]] | ||
| − | + | * [[mediation|Médiation scientifique]] | |
---- | ---- | ||
Latest revision as of 18:22, 28 October 2014
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.
- The Verasco C static analyzer
- VPL [VERIMAG|VERASCO] polyhedra library
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.
This Web site is hosted at 
.
