Specification and Verification of a Transient Stack (Artifact) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Software Year : 2021

Specification and Verification of a Transient Stack (Artifact)

Abstract

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".
47 View
4 Download

Share

Gmail Facebook X LinkedIn More