La plateforme Why3 développé au LMF est au sujet d'un article apparu dans les Actualités de l'INS2I-CNRS à la suite d'un entretien avec Jean-Christophe Filliâtre.
Recently posted
- Gilles Dowek nommé au Conseil supérieur des programmes
- Journée Méthodes de Test pour la Vérification et la Validation
- PhD Defence: Agustín Borgna
- PhD Defence: Kostia Chardonnet
- PhD Defence: Glen Mével
- PhD Defence: Amrita Suresh
- PhD Defence: Mathieu Hilaire
- Best Process-Mining Dissertation Award for Mathilde Boltenhagen
Categories
- Approximations
- Awards
- CEGAR
- Certificates
- Conferences
- Coq
- Diagnosability
- Dissemination
- Editorial
- Event B
- Event B
- GDR Securite
- HDR
- Hybrid Automata
- Isabelle
- Isabelleoc
- Journ es GDR
- Journees LMF
- Journees GDR
- Journees LMF
- Livre
- MEXICO
- Modeling
- News
- Ph D
- PINN
- Poste EC
- Presse
- Publications
- Quantum
- Recent Changes
- Refinement
- Seminar LMF
- SMT
- Soutenance
- Soutenance Certificates
- Stage L 3
- Stage M 1
- Stage M 2
- Stage Post D
- Stage Post Doc
- Stage M 2
- Startup
- Summer School
- System X
- Testing
- Time
- Timed Automata
- Vacancies
- Verification
- Why 3
- Work
- Workshops
- ZX Calculus
