30 citations · 39 across the 3 of their papers we have counts for
1 paper · 1 filter
Jakob Botsch Nielsen, Bas Spitters
We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing…