CSSV
From MaRDI portal
Software:25615
No author found.
Related Items (16)
Compiler Construction ⋮ SPEED ⋮ Loop Summarization Using Abstract Transformers ⋮ Efficient SAT-based bounded model checking for software verification ⋮ Loop summarization using state and transition invariants ⋮ Programming Languages and Systems ⋮ Statically Inferring Complex Heap, Array, and Numeric Invariants ⋮ Pentagons: a weakly relational abstract domain for the efficient validation of array accesses ⋮ Taming the Wrapping of Integer Arithmetic ⋮ Program Analysis Using Symbolic Ranges ⋮ Static Analysis in Disjunctive Numerical Domains ⋮ Static Analysis of String Manipulations in Critical Embedded C Programs ⋮ Symbolic String Verification: Combining String Analysis and Size Analysis ⋮ Static Analysis ⋮ Unnamed Item ⋮ A combination framework for tracking partition sizes
This page was built for software: CSSV
