Static Verification for Code Contracts
No abstract available.
Related papers
- Soft contract verification for higher-order stateful programs POPL 2018
- Corpse reviver: sound and efficient gradual typing via contract verification POPL 2021
- Stateful manifest contracts POPL 2017
- Static contract checking for Haskell POPL 2009
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018
- Compositional Verification of Smart Contracts Through Communication Abstraction SAS 2021
- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types TACAS 2021
- Rich specifications for Ethereum smart contract verification OOPSLA 2021