Fiche Logiciel - Iris

Logo Logiciel par défaut

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é.