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