Main Page/fr - Trustedbird. Atreal.mailservices. Formalization and verification of a mail server. Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants. Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants Albinet, Arnaud (2005) Caractérisation de la sûreté de fonctionnement des systèmes d'exploitation en présence de pilotes défaillants. (Characterisation of the operating systems dependability within faulty drivers.) Full text available as: Les pilotes de périphériques composent désormais une part essentielle des systèmes d’exploitation. Home of Gerwin Klein - publications.