Similar Items: Policy-Bound, Verifier-Pluggable Smart Contract Framework for Auditable Healthcare Analytics
- Verifying liquidity of recursive Bitcoin contracts
- ContractFull: a rapid and comprehensive static analysis tool for Ethereum smart contracts
- Verified Approximation Algorithms
- The Legal Framework of Smart Contracts in the Arabian Gulf
- Finite state verifiers with constant randomness
- TRX: A Formally Verified Parser Interpreter