Mjollnir performs quantifier elimination and simplification for the theory of linear rational/real arithmetic, according to algorithms published by David Monniaux 2008-2010.
Navigation
Actualités
- Conférences
- Du 28 septembre au 2 octobre 2020 AlgoTel et CoRes 2020
- Du 18 au 21 novembre 2020 SSS 2020
Nouvelles publications
- Publications
Récentes
- Mohamad Kaouk, Jean-Marie Flaus, Marie-Laure Potet, Roland Groz: A Review of Intrusion Detection Systems for Industrial Control Systems
- Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain: Du discr\` etement continu au contin\^ ument discret
- Thao Dang, Tommaso Dreossi, Eric Fanchon, Oded Maler, Carla Piazza, Alexandre Rocca: Set-Based Analysis for Biological Modelling
- Marius Bozga, Radu Iosif, Joseph Sifakis: Checking Deadlock-Freedom of Parametric Component-Based Systems
- Mnacho Echenim, Radu Iosif, Nicolas Peltier: The Bernays-Schönfinkel-Ramsey Class of Separation Logic with Uninterpreted Predicates
- David Monniaux, Valentin Touzeau: On the Complexity of Cache Analysis for Different Replacement Policies
Offres d'emploi et stages
- Offres d'emploi et stages
- 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
