Modular Analysis of Executables Using On-Demand Heyting Completion (Q3296335)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modular Analysis of Executables Using On-Demand Heyting Completion |
scientific article |
Statements
Modular Analysis of Executables Using On-Demand Heyting Completion (English)
0 references
7 July 2020
0 references
executable analysis
0 references
modular analysis
0 references
domain refinement
0 references
