A Deductive System for Contract Satisfaction Proofs

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Arthur Correnson, Haoyi Zeng, Jana Hofmann
DOI: 10.5281/zenodo.19054166
Cited by: 1

Abstract

This artifact contains the Rocq development accompanying the PLDI submission "A Deductive System for Contract Satisfaction Proofs"

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
16 March 2026