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
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
- 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.23 + AHUNTSIC [CC License]

info visites 8349122

Home > Verimag > Actualités

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

Browsing

Sections

News

Seminars

New publications

Jobs and internships