This software is based on Linear Relation Analysis, and combines classic LRA (with widening) and acceleration techniques.
Browsing
New publications
- Recent Publications
- Lukas Holik, Radu Iosif, A Rogalewicz, T Vojnar: Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems
- Quentin Bramas, Stéphane Devismes, Pascal Lafourcade: Vers l'infini et au delà
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- Radu Iosif, Xiao Xu: Alternating Automata Modulo First Order Theories
- Marius Bozga, Javier Esparza, Radu Iosif, Joseph Sifakis, Christoph Welzel: Structural Invariants for the Verification of Systems with Parameterized Architectures
Jobs and internships
- Jobs and internships
- Certification of Distributed Self-Stabilizing Algorithms Using Coq
- Decision Procedure for Equivalence Relations
- Exploration of timing anomaly impact on processor execution for critical real-time systems
- Models of Distributed Algorithms
- PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
- Self-Stabilization in TVG
