Dépôts open source suivis de uwplse, triés par étoiles.
Un framework pour vérifier formellement des implémentations de systèmes distribués en Coq
