distributed-assertions/distributed-assertions.github.io: Distributed Assertions Website - April 2024
Published in Zenodo (CERN European Organization for Nuclear Research) • Apr 30, 2024
NobleIDNI9P543W074R438S078
Authors:,,
Farah Al Wardani
Kaustuv Chaudhuri
Dale Miller
Abstract
This is a version of the Distributed Assertions Website as referenced by the paper titled About Trust and Proof: An experimental framework for heterogeneous verification, to appear in Cliff Jones' Festschrift. The home page is accessed through the index.html file, and the referenced walkthrough exam...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!