Jacques-Henri Jourdan will present the Rust verification system CREUSOT.
Time and Date: 19 March 2025, 16:00 CET,
As a follow-up to the March 2024 Lorentz Center workshop on Contract Languages, we will host a series of online presentations and discussions around formal methods with contract languages, aligning with the LTC goal of enabling information exchange between different formal systems.
to be announced
will follow soon
If you are interested in joining, drop a mail to Mattias Ulbrich for the link.