Month: September 2026

• Térence Clastres, Frederic Dabrowski, Automata-Guided Local Proof Obligations for Temporal Safety in Synchronous Programs
• Jérémy Damour, Loïc Correnson, Frédéric Loulergue, Allan Blanchard, Borderlines of Soundness: Verifying C Aliasing Properties
• Eloi Perdereau, Daniel Sokolowski, Jolan Philippe, Hélène Coullon et Guido Salvaneschi, Formal Verification of Stability in Provisioning Changes with BPlan

Guillaime joined the LMV Team on September the 1st as an assistant professor.