1 paper · 1 filter
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…