CertiKOS

CertiKOS est un projet développé par Zhong Shao, professeur à l'université Yale, dans le Connecticut, avec la participation d'une équipe de 6 autres chercheurs. CertiKOS (Certified Kit Operating System) est un outil méthodologique de conception et de développe…