Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A Deductive System for Contract Satisfaction Proofs

20260 citationsOthergreen Open Access

Authors

Arthur Correnson · Helmholtz Center for Information Security

J. V. Hofmann · Max Planck Institute for Security and Privacy

Abstract

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

Topics & Keywords

Publication Details

Published in: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19054166

A Deductive System for Contract Satisfaction Proofs | Researchclopedia