Médaille de bronze Software Verification Competition 2023 (SV-Comp)

24 avril 2023

Le logiciel Mopsa a obtenu la médaille de bronze dans la catégorie “Software Systems” à la Software Competition 2023 (SV-COMP).
Groupe Thématique SEAS

En savoir plus...

Agenda scientifique

Voir l'agenda complet »

• Exposition

  du 20 mai au 14 juin 2026

• Festival

  du 22 au 24 mai 2026

• Restitution CPER ENHANCE

  22 mai 2026 à 09h

• Colloquium Polaris

  James Noble 28 mai 2026

• JIM 2026

  du 15 au 18 juin 2026

• JRD-AGITSI-2026

  25 juin 2026

• Summer School

  du 29 juin au 3 juillet 2026

• EWRL 2026

  du 5 au 7 octobre 2026

• IHM 2026

  du 19 au 23 octobre 2026