Dsolve: Safety Verification via Liquid Types
Abstract elided by the publisher.
Related papers
- Liquid types PLDI 2008
- Type-based data structure verification PLDI 2009
- Low-level liquid types POPL 2010
- Software Verification with Liquid Types APLAS 2011
- Software Verification with Liquid Types VMCAI 2012
- Usability Barriers for Liquid Types PLDI 2025
- Flux: Liquid Types for Rust PLDI 2023
- Liquidate your assets: reasoning about resource usage in liquid Haskell POPL 2020