Accueil > Verimag > Actualités

Verimag au Forum Méthodes Formelles

Goran Frehse

Le Forum Méthodes Formelles est un cycle de conférences consacré aux méthodes formelles de développement. La prochaine journée FMF8 aura lieu le 10 Octobre 2017, avec une programmation sur le thème du "Véhicule autonome et méthodes formelles". Verimag interviendra avec un exposé intitulé "Analyse fonctionnelle des systèmes cyber-physiques avec incertitudes", qui sera présenté par Goran Frehse (MCF UGA).

Voir en ligne : Forum Méthodes Formelles

Nouvelles publications

Quelques Publications Récentes
- Léo Gourdin: Lazy Code Transformations in a Formally Verified Compiler
- Karine Altisen, Alain Cournier, Geoffrey Defalque, Stéphane Devismes: Pour battre à l'unisson, il faut que tous les chemins viennent de Rome
- David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel: Testing a Formally Verified Compiler
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel B. Sant'Anna: Model Checking of Distributed Algorithms using Synchronous Programs

Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4156053

UGA

CNRS

INP Grenoble