Rethinking static analysis by combining discrete and continuous reasoning (Q6536275)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rethinking static analysis by combining discrete and continuous reasoning |
scientific article; zbMATH DE number 7834928
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rethinking static analysis by combining discrete and continuous reasoning |
scientific article; zbMATH DE number 7834928 |
Statements
Rethinking static analysis by combining discrete and continuous reasoning (English)
0 references
19 April 2024
0 references
static analysis
0 references
constraint solving
0 references
provenance
0 references
probabilistic logics
0 references
alarm ranking
0 references
inductive logic programming
0 references
