Skip to content

LMV Team

Languages, Models and Verification

  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Group
  • Seminar
  • Jobs

Month: April 2026

[April 2026] The RADyD project is funded


The RADyD project (Résilience par Adaptation Dynamique pour le traitement de Données / Resilience through Dynamic Adaptation for Data Processing) has been accepted and is funded by the BQR program of the University of Orléans.
It is a collaboration between the LMV (Frédéric Loulergue, Jolan Philippe) and Pamda teams (Patrick Marcel).

Author lmvadmPosted on 15 April 2026Leave a comment on [April 2026] The RADyD project is funded

[April 2026] Eloi Perdereau joins the LMV team

Eloi Perdereau joins the team as a postdoctoral researcher in the project For-CoaLa. Welcome Eloi!

Author lmvadmPosted on 15 April 2026Leave a comment on [April 2026] Eloi Perdereau joins the LMV team

News

  • [September 2026] Three LMV papers accepted to SEFM 2026!
  • [September 2026] Welcome to Guillaume Ambal!
  • [June 2026] mech-uvl v0.1 is released
  • [May 2026] mechapuppet v0.5 is released
  • [May 2026] Tempo v0.2.0 is released

Latest publications

  • Systematic Mapping Study: Formal Verification of Hypervisors
  • Semantics of a Subset of Puppet 4.8 Mechanized in Why3

Archives

  • September 2026 (2)
  • June 2026 (1)
  • May 2026 (2)
  • April 2026 (2)
  • March 2026 (2)
  • December 2025 (1)
  • October 2025 (1)
  • September 2025 (3)
  • July 2025 (4)
  • June 2025 (2)
  • May 2025 (2)
  • April 2025 (1)
  • February 2025 (1)
  • January 2025 (1)
  • November 2024 (3)
  • October 2024 (1)
  • July 2024 (1)
  • June 2024 (2)
  • May 2024 (1)
  • April 2024 (4)
  • March 2024 (1)
  • January 2024 (2)
  • December 2023 (1)
  • November 2023 (2)
  • September 2023 (1)
  • August 2023 (1)
  • July 2023 (2)
  • June 2023 (2)
  • May 2023 (3)
  • April 2023 (3)
  • February 2023 (4)
  • January 2023 (1)
  • December 2022 (2)
  • November 2022 (1)
  • October 2022 (1)
  • April 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • December 2021 (2)
  • October 2021 (1)
  • June 2021 (1)
  • May 2021 (1)
  • March 2021 (2)
  • December 2020 (2)
  • November 2020 (1)
  • September 2020 (1)
  • June 2019 (4)
  • Presentation
  • Members
  • Projects
  • Publications
  • Software
  • Defended Theses
  • Working Group
  • Seminar
  • Jobs
LMV Team Proudly powered by WordPress