Difference between revisions of "Main Page"

From VERASCO
Jump to navigation Jump to search
 
(4 intermediate revisions by 3 users not shown)
Line 3: Line 3:
  
 
'''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
 
'''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.
+
from [http://www.agence-nationale-recherche.fr/ ANR, the French National agency for research].
 +
* [[summary|Project summary]]
 +
* [[partners|List of partners]]
 +
* [[publications|Publications of the project]]
 +
 
 +
* [http://compcert.inria.fr/verasco/ 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
 
'''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.
+
financé par [http://www.agence-nationale-recherche.fr/ l'Agence Nationale de la Recherche], projet ANR-11-INSE-003.
 +
* [[summary|Résumé du projet]]
 +
* [[partners|Liste des participants]]
 +
* [[publications|Publications du projet]]
 +
* [[mediation|Médiation scientifique]]
 +
 
 +
----
  
 
<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>

Latest revision as of 18:22, 28 October 2014

Logo VERASCO couleur simple.svg Airbus A380 P1230288.jpg

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.


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 VERIMAG.