CSSV
From MaRDI portal
Software:25615
swMATH13701MaRDI QIDQ25615FDOQ25615
Author name not available (Why is that?)
Cited In (16)
- Loop summarization using state and transition invariants
- Compiler Construction
- Efficient SAT-based bounded model checking for software verification
- Static Analysis in Disjunctive Numerical Domains
- Symbolic String Verification: Combining String Analysis and Size Analysis
- Loop Summarization Using Abstract Transformers
- Programming Languages and Systems
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- A combination framework for tracking partition sizes
- Value-range analysis of C programs. Towards proving the absence of buffer overflow vulnerabilities
- Taming the Wrapping of Integer Arithmetic
- Statically inferring complex heap, array, and numeric invariants
- SPEED
- Static Analysis of String Manipulations in Critical Embedded C Programs
- Program Analysis Using Symbolic Ranges
- Static Analysis
This page was built for software: CSSV
