Property-Directed Inference of Universal Invariants or Proving Their Absence (Q3177887)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Property-Directed Inference of Universal Invariants or Proving Their Absence |
scientific article |
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
