Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

[Jun. 2021] 15th International Conference on Tests and Proofs (TAP 2021) Du 21/06/2021 au 25/06/2021

Author lmvadmPosted on 16 June 202116 March 2022

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: [May 2021] GT Clap – Journées GPL – 17 Juin 2021

Next Next post: [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