Home > Verimag > Actualités

Argosim and Verimag in ``La Lettre Innovation du CNRS’’

In the context of the acquisition of ARGOSIM by Dassault Systèmes, this article from CNRS Innovation Letter recalls the relations between the startup and the lab (in French).

View online : Argosim rejoint Dassault Systèmes

New publications

Some Recent Publications
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian: A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset

Contact | Site Map | Site powered by SPIP 4.4.5 + AHUNTSIC [CC License]

info visites 5313398

UGA

CNRS

INP Grenoble