The following pages link to Verification-Led Smart Contracts (Q6166532):
Displaying 6 items.
- Formal verification of Ethereum smart contracts using Isabelle/HOL (Q2037985) (← links)
- Formal verification of atomicity requirements for smart contracts (Q2038066) (← links)
- Adding concurrency to smart contracts (Q2189168) (← links)
- Soft contract verification (Q2819673) (← links)
- Smart Contract Execution - the (+-)-Biased Ballot Problem. (Q5136237) (← links)
- Smart Contract Derivatives (Q5147156) (← links)