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
- Marius Bozga
- Susanne Graf
View online : PragmaDev web site
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conferences
- November 25-29 2019 Synchron 2019
- Seminars
- 20 September 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 September 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 October 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
Seminars
New publications
- Recent Publications
- Goran Frehse, Nikolaos Kekatos, Dejan Nickovic, Jens Oehlerking, Simone Schuler, Alexander Walsch, Matthias Woehrle: A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates
- Rany Kahil: Schedulable Mixed-critical Multi-core Systems Design
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Karine Altisen, Stéphane Devismes, Swan Dubois, Franck Petit: Introduction to Distributed Self-Stabilizing Algorithms
- Moustapha Lo: Implementing a Real-time Avionic application on a Many-core Processor
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
