2 papers
cs.LO2024
A Logic for Veracity: Development and Implementation
Daniel Britten, Steve Reeves
In the business rules of supply chains, there are concerns around trust, truth, demonstrability and authenticity. These concerns are gathered together under the name ``veracity". I…
cs.PL2024
Foundational Verification of Smart Contracts through Verified Compilation
Vilhelm Sjöberg, Kinnari Dave, Daniel Britten +6
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctnes…