Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT |
scientific article |
Statements
Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (English)
0 references
21 February 2017
0 references
abstract interpretation
0 references
SMT
0 references
abstract domains
0 references
block encoding
0 references
sparsity
0 references