Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation - (Invited Talk)
No abstract available.
Related papers
- Mechanized verification of preemptive OS kernels (invited talk) CPP 2017
- Combining functional programming and hardware verification (abstract of invited talk) ICFP 2000
- Dependent type practice (invited talk) CPP 2016
- CRIS: The Power of Imagination in Specification and Verification (Invited Talk) CPP 2025
- Software Verification "Across the Stack" (Invited Talk) ECOOP 2015
- The Bright Future of Debuggers: Challenges and Opportunities (Invited Talk) DLS 2023
- Advanced module systems: a guide for the perplexed (abstract of invited talk) ICFP 2000
- All Languages Are Dynamic (Invited Talk) DLS 2023