Skip to content

Languages, Models and Verification

Presentation
Members
Projects
Publications
Software
Defended Theses
Working Groups
Seminar
Jobs

[Feb. 2023] The SeSTeRce project is funded!

This project is lead by Jules Chouquet.

Author lmvadmPosted on 14 February 2023

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: [Fev. 2023] Keynote of Julien Signoles, CEA List

Next Next post: [Fev. 2023] The Special Issue on High-Level Parallel Programming and Applications 2021 appeared

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