OpenKronos: is an on-the-fly verification tool for timed automata based on an integration of the DBM library of Kronos into CADP.
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 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
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Mohammad Al Khatib, Antoine Girard, Thao Dang: Timing Contracts for Multi-Core Embedded Control Systems
- Benjamin Farinier, Sebastien Bardin, Richard Bonichon, Marie-Laure Potet: Model Generation for Quantified Formulas: A Taint-Based Approach
- Karine Altisen, Stéphane Devismes, Anaïs Durand: Silence dans la forêt !
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Brief Announcement: Infinite Grid Exploration by Disoriented Robots
- Stéphane Devismes, Colette Johnen: Self-Stabilizing Distributed Cooperative Reset
