Home > Verimag > Actualités

A press article on Stimulus/Argosim

Avec Stimulus, Argosim apporte simulation et débogage temps réel à la validation des exigences

Publié le 10 mars 2015 à 12:11 par François Gauthier

Read the article

For more information on Argosim and Stimulus : http://www-verimag.imag.fr/Argosim.html

View online : http://www.lembarque.com/avec-stimu...

New publications

Some Recent Publications
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks
- 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
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Erwan Jahier, Karine Altisen, Stéphane Devismes, Gabriel Baiocchi Sant'anna: Model checking of distributed algorithms using synchronous programs

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

info visites 5954071

UGA

CNRS

INP Grenoble