Exploiting adjoints in property directed reachability analysis (Q6535527)
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: Exploiting adjoints in property directed reachability analysis |
scientific article; zbMATH DE number 7787547
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Exploiting adjoints in property directed reachability analysis |
scientific article; zbMATH DE number 7787547 |
Statements
Exploiting adjoints in property directed reachability analysis (English)
0 references
12 January 2024
0 references
PDR
0 references
lattice theory
0 references
adjoints
0 references
MDPs
0 references
over-approximation
0 references
0 references
0.7412269115447998
0 references
0.7155968546867371
0 references
0.7005767822265625
0 references
0.6875351071357727
0 references
