Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Group
Seminar
Jobs

[September 2026] Welcome to Guillaume Ambal!

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

Author lmvadmPosted on 10 September 2026

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

Comment *

Name *

Email *

Website

Post navigation

Previous Previous post: [June 2026] mech-uvl v0.1 is released

Next Next post: [September 2026] Three LMV papers accepted to SEFM 2026!

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