Cooperation PragmaDev

2006-2015

PragmaDev has integrated and distributes some of the tools from the IF toolbox (static analysis, model-checking) for validation of SDL-RT systems.

Verimag people involved

New publications

Recent Publications
- Hamza Rihani: Many-Core timing Analysis of Real-Time Systems
- Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp: ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Anaïs Durand: Election et anneaux unidirectionnels en présence d'homonymes
- Karine Altisen, Stéphane Devismes, Anaïs Durand, Franck Petit: Stabilisation progressive
- Nikolaos Kekatos, Marcelo Forets, Goran Frehse: Constructing verification models of nonlinear Simulink systems via syntactic hybridization
- Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil: Optimal Torus Exploration by Oblivious Robots

info visites 1052875