Précédent : Aide à la production de Remonter : Actions industrielles Suivant : Actions nationales et internationales

Preuve de propriétés de sécurité

Participants : Daniel Le Métayer, Tommy Thorn

Nous formons une action (avec le groupe de D. Bolignano) dans le cadre du GIE Bull-Inria Dyade. Le thème de cette collaboration est la preuve de propriétés de sécurité des programmes.