Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: October 2021

[Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

Author lmvadmPosted on 4 October 202116 March 2022Leave a comment on [Dec. 2021] Jordan Ischard joined LMV for a Ph.d. on Reactive Program Proof on October 1st

News

[July 2024] The two-year VéDySec project is funded by Agence de l’Innovation de Défense
[June 2024] The four-year For-CoaLa project is funded by ANR
[June 2024] whybsml 0.2 released
[May 2024] Myriam Clouet joins the team
[April 2024] Two new WG: Lambda and LL

Lastest publications

SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack
Concerto-D in Maude

Archives

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

LMV Team Proudly powered by WordPress