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".
64 Consultations
13 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More