Descriptifs
des stages proposés:
Lieu :
Descriptifs
des stages proposés:
Factorisation
de règles de syntaxe concrète
Preuves sur le pi-calcul en Coq
Preuves de correction de protocole en Unity, dans Coq
Preuves de correction de programme impératif en Coq, dans Coq
Preuves de correction de programme dans B en Coq
Certification d'une implantation de PGP
Géométrie
algorithmique certifiée (Maîtrise)Environnement
d'exécution JavaCard: spécification et simulationSpécifications
de politiques de sécurité pour Java CardPreuve
de cohérence de descriptions sémantiquesAffichage
bi-dimensionnel de formules mathematiques en Java
Stage disponible Stage attribué
Retour
à la page du projet
Les
autres stages proposés à l'INRIA Sophia Antipolis