Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

Month: November 2020

[Nov. 2020] Online Seminar : Jules Chouquet, Accord distribué et topologie combinatoire : Impossibilités et probabilités.

23/11/2020, 16H00

Author lmvadmPosted on 16 November 202016 March 2022Leave a comment on [Nov. 2020] Online Seminar : Jules Chouquet, Accord distribué et topologie combinatoire : Impossibilités et probabilités.

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