Browsing Faculté des arts et des sciences – Département d'informatique et de recherche opérationnelle - Thèses et mémoires by Subject "Vérification formelle"
Now showing items 1-7 of 7
-
Covérification des systèmes intégrés
(2001) -
A Type-Preserving Compiler from System F to Typed Assembly Language
(2010-01-07)L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de ...