Specification and Verification of a Transient Stack (Artifact) - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Logiciel Année : 2021

Specification and Verification of a Transient Stack (Artifact)

Résumé

This repository contains the formalization of a transient stack and its iterator, as described in the CPP'22 paper "Specification and Verification of a Transient Stack".

Domaines

Informatique [cs]

Alexandre Moine  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03473197

Soumis le : jeudi 9 décembre 2021-17:38:29

Dernière modification le : jeudi 11 avril 2024-13:08:14

Consulter sur Present sur SoftwareHeritage

Dates et versions

hal-03473197 , version 1 (09-12-2021)

Identifiants

Métadonnées

  • version :
  • Licences : MIT License
  • Langage de programmation : OCaml , Coq
  • Code Repository : https://gitlab.inria.fr/amoine/cfml-sek

Citer

Relations

Exporter

CodeMeta BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSERM UNIV-RENNES1 CNRS INRIA ENGEES IRISA INSA-STRASBOURG INRIA2 INC-CNRS PSL UR1-MATH-STIC UR1-UFR-ISTIC SITE-ALSACE UNIV-RENNES INSA-GROUPE UR1-MATH-NUM
59 Consultations
9 Téléchargements

Partager

Gmail Facebook X LinkedIn More