On Abstraction in Software Verification
No abstract available.
Related papers
- Structural Abstraction of Software Verification Conditions CAV 2007
- Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification CAV 2012
- Predicate abstraction for software verification POPL 2002
- Korn - Software Verification with Horn Clauses (Competition Contribution) TACAS 2023
- Formal Verification of a C Value Analysis Based on Abstract Interpretation SAS 2013
- Advances in Automatic Software Verification: SV-COMP 2020 TACAS 2020
- ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions TACAS 2019
- Software Verification: 10th Comparative Evaluation (SV-COMP 2021) TACAS 2021