Abstracting Concolic Execution for Soft Contract Verification
Abstract elided by the publisher.
Related papers
- Soft contract verification ICFP 2014
- Higher order symbolic execution for contract verification and refutation JFP 2017
- Soft contract verification for higher-order stateful programs POPL 2018
- COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) TACAS 2020
- GKLEE: concolic verification and test generation for GPUs PPoPP 2012
- Corpse reviver: sound and efficient gradual typing via contract verification POPL 2021
- CUTECat: Concolic Execution for Computational Law ESOP 2025
- A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution APLAS 2024