This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.
Browsing
News
- NEWS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book: Introduction to Distributed Self-Stabilizing Algorithms
- Automation: Flying High?
- Conferences
- 30 September - 1 October 2019 AVoCS 2019
Seminars
New publications
- Recent Publications
- David Monniaux: Il faut se défier de la \guillemotleftpensée magique\guillemotright
- Guillaume Phavorin, Pascal Richard, Joël Goossens, Claire Maiza, Laurent George, Thomas Chapeaux: Online and offline scheduling with cache-related preemption delays
- Rémy Boutonnet, Nicolas Halbwachs: Disjunctive relational abstract interpretation for interprocedural program analysis
- Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrére, Dogan Ulus: AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic
- Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore: A silent self-stabilizing algorithm for the generalized minimal \emphk-dominating set problem
- Paolo Torrini, David Nowak, Narjes Jomaa, Mohamed Sami Cherif: Formalising Executable Specifications of Low-Level Systems
