Theories, solvers and static analysis by abstract interpretation (Q5395699)
From MaRDI portal
scientific article; zbMATH DE number 6258097
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theories, solvers and static analysis by abstract interpretation |
scientific article; zbMATH DE number 6258097 |
Statements
Theories, solvers and static analysis by abstract interpretation (English)
0 references
17 February 2014
0 references
abstract interpretation
0 references
SAT modulo theory
0 references
SMT solver
0 references
decision procedures
0 references
program logics
0 references
program verification
0 references
semantics
0 references
static analysis
0 references
theorem proving
0 references
