Accueil > Verimag > Actualités

Argosim et Verimag dans La Lettre Innovation du CNRS

À l’occasion de l’achat d’Argosim par Dassault Systèmes, cet article de La Lettre Innovation du CNRS rappelle les relations entre la startup et le laboratoire Verimag.

Voir en ligne : Argosim rejoint Dassault Systèmes

Nouvelles publications

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

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

info visites 4161665

UGA

CNRS

INP Grenoble