Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: September 2020

[Sep. 2020] Jules Chouquet joins LMV

Author lmvadmPosted on 1 September 202016 March 2022Leave a comment on [Sep. 2020] Jules Chouquet joins LMV

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