CSolve: Verifying C with Liquid Types
No abstract available.
Related papers
- Low-level liquid types POPL 2010
- Deterministic parallelism via liquid effects PLDI 2012
- A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq Haskell 2017
- Verifying replicated data types with typeclass refinements in Liquid Haskell OOPSLA 2020
- Liquid resource types ICFP 2020
- Liquid information flow control ICFP 2020
- Flux: Liquid Types for Rust PLDI 2023
- Liquid types PLDI 2008