Vous êtes ici

TIS-DTIS-2026-29

Fiabilisation du model checking par preuves formelles et génération de certificats vérifiables

Toulouse

Thématique(s):

Ingénierie des systèmes et des logiciels

Méthodes formelles – Model checking – Logique – Preuve

Autre

À Pourvoir

TIS:

dsd-tis@onera.fr

Contact:

david.chemouil@onera.fr