Specification and Verification of a Transient Stack (Artifact) - Archive ouverte HAL Access content directly
Software Year :

Specification and Verification of a Transient Stack (Artifact)

(1) , (2) , (1)
1
2

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".
65 View
2 Download

Share

Gmail Facebook Twitter LinkedIn More