Analysis and VERification for the Reliability Of Embedded Systems¹

Vérification de propriétés quantitatives et fonctionnelles

• Description initiale du projet
• Fournitures
• Transparents
• L'outil Calife issu du projet
• Pages internes

1

Averroes : philosophe arabe (1126-1198), médecin du Calife de Cordoue, auteur du livre Incoherence de l'incoherence.

Ce document a été traduit de L^AT_EX par H^EV^EA.