Using Types for Software Verification
No abstract available.
Related papers
- Software Verification with Liquid Types APLAS 2011
- Software Verification with Liquid Types VMCAI 2012
- CN: Verifying Systems C Code with Separation-Logic Refinement Types POPL 2023
- SCInfer: Refinement-Based Verification of Software Countermeasures Against Side-Channel Attacks CAV 2018
- Synchronous Programming with Refinement Types ICFP 2024
- Automated Modular Verification for Relaxed Communication Protocols APLAS 2018
- Leveraging rust types for modular specification and verification OOPSLA 2019
- CCured: type-safe retrofitting of legacy software TOPLAS 2005