Information Exchange Between Over- and Underapproximating Software Analyses (Q6111606)
From MaRDI portal
scientific article; zbMATH DE number 7722530
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Information Exchange Between Over- and Underapproximating Software Analyses |
scientific article; zbMATH DE number 7722530 |
Statements
Information Exchange Between Over- and Underapproximating Software Analyses (English)
0 references
4 August 2023
0 references
cooperative software verification
0 references
verification artifact
0 references
test-case generation
0 references
component-based CEGAR
0 references