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
- Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
- Seminars
- 25 June 2019 Hernan Ponce de leon : Bmc with weak memory models
- 26 June 2019 Rany Kahil: Schedulability in mixed- criticality systems (Phd)
- 28 June 2019 Braham lotfi Mediouni: Modeling and analysis of stochastic real-time systems (Phd)
- 2 July 2019 Indranil Saha : Developing autonomous multi-robot systems for complex missions
- 4 July 2019 Radu Iosif: Alternating automata modulo first order theories
- 10 July 2019 Lionel Rieg: Integrating formal schedulability analysis into a verifed os kernel
Seminars
New publications
- Recent Publications
- Alexandre Rocca: Formal methods for modelling and validation of biological models
- Arvind S. Adimoolam, Thao Dang: Template Complex Zonotope Based Stability Verification
- Cristian Ene, Laurent Mounier, Marie-Laure Potet: Output-Sensitive Information Flow Analysis
- Benoît Barbot, Nicolas Basset, Thao Dang: Generation of Signals Under Temporal Constraints for CPS Testing
- Radu Iosif, Cristina Serban: An Entailment Checker for Separation Logic with Inductive Definitions
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
