The following pages link to Soft contract verification (Q2819673):
Displayed 4 items.
- Modular Verification of Higher-Order Functional Programs (Q2988670) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)