Projet : VASY - vasy

<body bgcolor="#FFEEE0" text="#000000" link="#9944EE" vlink= "#FF0000" alink="#00FF00"> <h1 align="center">Validation de Systèmes</h1> <p align="center"><strong>VASY<br /> <br /> <br /> Rapport d'activité de l'année 2001<br /> <br /> <br /> <i><a name="tex2html1" href= "http://www.inria.fr/inria/organigramme/fiche_ur-ra.fr.html" target="_top">Rhône-Alpes</a></i><br /> <br /> <br /> Thème : <a name="tex2html2" href= "http://www.inria.fr/recherche/equipes/projets_theme1.fr.html" target="_top">1c</a><br /> <br /> <br /> <a name="tex2html3" href= "http://www.inria.fr/recherche/equipes/vasy.fr.html" target= "_top">Page de présentation du projet</a> - Rapport d'activité au format <a name="tex2html4" href="vasy.ps.gz" target="_top">PostScript</a> ou <a name="tex2html5" href= "vasy.pdf" target="_top">PDF</a></strong></p><br /> <hr />  <a name="CHILD_LINKS"></a> <ul class="ChildLinks"> <li> <a name="tex2html27" href="compo_mn.html" target= "main"><small>Composition de l'équipe</small></a> <ul> <li><a name="tex2html28" href= "compo_mn.html#SECTION00010100000000000000" target= "main"><small>Responsable scientifique</small></a></li> <li><a name="tex2html29" href= "compo_mn.html#SECTION00010200000000000000" target= "main"><small>Assistantes de projet</small></a></li> <li><a name="tex2html30" href= "compo_mn.html#SECTION00010300000000000000" target= "main"><small>Personnel Inria</small></a></li> <li><a name="tex2html31" href= "compo_mn.html#SECTION00010400000000000000" target= "main"><small>Personnel Bull</small></a></li> <li><a name="tex2html32" href= "compo_mn.html#SECTION00010500000000000000" target= "main"><small>Ingénieurs experts</small></a></li> <li><a name="tex2html33" href= "compo_mn.html#SECTION00010600000000000000" target= "main"><small>Chercheur post-doctorant</small></a></li> <li><a name="tex2html34" href= "compo_mn.html#SECTION00010700000000000000" target= "main"><small>Stagiaires</small></a></li> </ul><br /> </li> <li> <a name="tex2html35" href="prese_mn.html" target= "main"><small>Présentation et objectifs généraux</small></a> <ul> <li><a name="tex2html36" href= "prese_VASY-2001-2-1_mn.html" target= "main"><small>Introduction</small></a></li> <li><a name="tex2html37" href= "prese_VASY-2001-2-2_mn.html" target= "main"><small>Technologie des modèles - vérification</small></a></li> <li><a name="tex2html38" href= "prese_VASY-2001-2-3_mn.html" target= "main"><small>Technologie des langages - compilation</small></a></li> <li><a name="tex2html39" href= "prese_VASY-2001-2-4_mn.html" target= "main"><small>Implémentation et expérimentation</small></a></li> </ul><br /> </li> <li><a name="tex2html40" href="domai_mn.html" target= "main"><small>Domaines d'applications</small></a></li> <li> <a name="tex2html41" href="logic_mn.html" target= "main"><small>Logiciels</small></a> <ul> <li><a name="tex2html42" href= "logic_VASY-2001-4-1_mn.html" target="main"><small>La boîte à outils CADP</small></a></li> <li><a name="tex2html43" href= "logic_VASY-2001-4-2_mn.html" target="main"><small>Le compilateur TRAIAN</small></a></li> </ul><br /> </li> <li> <a name="tex2html44" href="resul_mn.html" target= "main"><small>Résultats nouveaux</small></a> <ul> <li> <a name="tex2html45" href= "resul_VASY-2001-5-1_mn.html" target= "main"><small>Technologie des modèles - vérification</small></a> <ul> <li><a name="tex2html46" href= "resul_VASY-2001-5-1_mn.html#SECTION00051100000000000000" target="main"><small>Développement de l'outil BCG_MIN</small></a></li> <li><a name="tex2html47" href= "resul_VASY-2001-5-1_mn.html#SECTION00051200000000000000" target="main"><small>Développement de l'outil BISIMULATOR</small></a></li> <li><a name="tex2html48" href= "resul_VASY-2001-5-1_mn.html#SECTION00051300000000000000" target="main"><small>Développement de l'outil EVALUATOR 4.0</small></a></li> <li><a name="tex2html49" href= "resul_VASY-2001-5-1_mn.html#SECTION00051400000000000000" target="main"><small>Développement de l'outil SVL 2.0</small></a></li> <li><a name="tex2html50" href= "resul_VASY-2001-5-1_mn.html#SECTION00051500000000000000" target="main"><small>Développement de l'outil PROJECTOR 2.0</small></a></li> <li><a name="tex2html51" href= "resul_VASY-2001-5-1_mn.html#SECTION00051600000000000000" target="main"><small>Développement des outils DISTRIBUTOR 2.0 et BCG_MERGE 2.0</small></a></li> <li><a name="tex2html52" href= "resul_VASY-2001-5-1_mn.html#SECTION00051700000000000000" target="main"><small>Autres développements d'outils</small></a></li> </ul> </li> <li> <a name="tex2html53" href= "resul_VASY-2001-5-2_mn.html" target= "main"><small>Technologie des langages - compilation</small></a> <ul> <li><a name="tex2html54" href= "resul_VASY-2001-5-2_mn.html#SECTION00052100000000000000" target="main"><small>Compilation du langage E-LOTOS</small></a></li> </ul> </li> <li> <a name="tex2html55" href= "resul_VASY-2001-5-3_mn.html" target= "main"><small>Etudes de cas et applications pratiques</small></a> <ul> <li><a name="tex2html56" href= "resul_VASY-2001-5-3_mn.html#SECTION00053100000000000000" target="main"><small>Protocole de cohérence de caches CC-NUMA ``Fame''</small></a></li> <li><a name="tex2html57" href= "resul_VASY-2001-5-3_mn.html#SECTION00053200000000000000" target="main"><small>Protocole de déploiement de composants Java</small></a></li> <li><a name="tex2html58" href= "resul_VASY-2001-5-3_mn.html#SECTION00053300000000000000" target="main"><small>Autres études de cas</small></a></li> </ul> </li> </ul><br /> </li> <li> <a name="tex2html59" href="contr_mn.html" target= "main"><small>Contrats industriels (nationaux, européens et internationaux)</small></a> <ul> <li><a name="tex2html60" href= "contr_VASY-2001-6-1_mn.html" target= "main"><small>Action FormalCard (Bull-Schlumberger)</small></a></li> <li><a name="tex2html61" href= "contr_VASY-2001-6-2_mn.html" target= "main"><small>Action FormalFame (Bull)</small></a></li> <li><a name="tex2html62" href= "contr_VASY-2001-6-3_mn.html" target= "main"><small>Contrat RNTL Parfums (MGE-UPS, Silicomp)</small></a></li> </ul><br /> </li> <li> <a name="tex2html63" href="inter_mn.html" target= "main"><small>Actions régionales, nationales et internationales</small></a> <ul> <li><a name="tex2html64" href= "inter_VASY-2001-7-1_mn.html" target= "main"><small>Actions nationales</small></a></li> <li> <a name="tex2html65" href= "inter_VASY-2001-7-2_mn.html" target= "main"><small>Actions internationales</small></a> <ul> <li><a name="tex2html66" href= "inter_VASY-2001-7-2_mn.html#SECTION00072100000000000000" target="main"><small>Groupes de travail internationaux</small></a></li> <li><a name="tex2html67" href= "inter_VASY-2001-7-2_mn.html#SECTION00072200000000000000" target="main"><small>Relations bilatérales internationales</small></a></li> </ul> </li> <li><a name="tex2html68" href= "inter_VASY-2001-7-3_mn.html" target= "main"><small>Accueil de chercheurs français et étrangers</small></a></li> </ul><br /> </li> <li> <a name="tex2html69" href="diffu_mn.html" target= "main"><small>Diffusion de résultats</small></a> <ul> <li><a name="tex2html70" href= "diffu_VASY-2001-8-1_mn.html" target= "main"><small>Diffusion de logiciels</small></a></li> <li><a name="tex2html71" href= "diffu_VASY-2001-8-2_mn.html" target= "main"><small>Animation de la communauté scientifique</small></a></li> <li><a name="tex2html72" href= "diffu_VASY-2001-8-3_mn.html" target= "main"><small>Enseignement universitaire</small></a></li> <li><a name="tex2html73" href= "diffu_VASY-2001-8-4_mn.html" target= "main"><small>Participation à des colloques, séminaires, invitations</small></a></li> </ul><br /> </li> <li><a name="tex2html74" href="bibliographie_mn.html" target="main"><small>Bibliographie</small></a></li> </ul> <hr /> </body>