Property-directed inference of universal invariants or proving their absence (Q3177887)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6912792
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Property-directed inference of universal invariants or proving their absence |
scientific article; zbMATH DE number 6912792 |
Statements
Property-Directed Inference of Universal Invariants or Proving Their Absence (English)
0 references
2 August 2018
0 references
EPR
0 references
IC3
0 references
PDR
0 references
universal invariants
0 references
property-directed reachability
0 references
0.9917045831680298
0 references
0.773739218711853
0 references
0.7652323246002197
0 references
0.7551835775375366
0 references
0.7551825642585754
0 references
