The Ideal of Verified Software
Abstract elided by the publisher.
Related papers
- Incremental predicate analysis for regression verification OOPSLA 2020
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- Verified decision procedures for MSO on words based on derivatives of regular expressions ICFP 2013
- Assessing the quality of evolving Haskell systems by measuring structural inequality Haskell 2020
- Software evolution and the moving picture metaphor OOPSLA 2009
- The performance power of software combining in persistence PPoPP 2022
- Battery transition systems POPL 2014
- A verified compiler for an impure functional language POPL 2010