Conditional Analysis and Verification
No abstract available.
Related papers
- Structurally Defined Conditional Data-Flow Static Analysis TACAS 2018
- Null dereference verification via over-approximated weakest pre-conditions analysis OOPSLA 2011
- Verification modulo versions: towards usable verification PLDI 2014
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- Program Verification with Constrained Horn Clauses (Invited Paper) CAV 2022
- Verifying the Verifier: eBPF Range Analysis Verification CAV 2023
- noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning OOPSLA 2026
- Structural Abstraction of Software Verification Conditions CAV 2007