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
- Static Analysis of String Manipulations in Critical Embedded C Programs
- SPEED: precise and efficient static estimation of program computational complexity
- Program Analysis Using Symbolic Ranges
- Static Analysis
This page was built for software: CSSV
