Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Group
Seminar
Jobs

Month: April 2022

[Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.

Author lmvadmPosted on 7 April 2022Leave a comment on [Apr. 2022] Térence Clastres joined LMV for a 3 months internship on the compilation of SaIL to LLVM.

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

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Group
Seminar
Jobs

LMV Team Proudly powered by WordPress