Fiche Logiciel - Iris
Iris
Un cadre de logique de séparation concurrente d'ordre supérieur, implémenté et vérifié dans l'assistant de preuve Coq.
Discipline(s):
Non renseigné
Domaine(s) d'application:
Non renseigné
Mot(s)-clé(s):
Non renseigné
Aucun développeur associé.
Contact :
Contact non renseingé
Aucun laboratoire associé.
Bibtex
Non renseigné.