A cooperative parallelization approach for property-directed \(k\)-induction (Q784140)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A cooperative parallelization approach for property-directed \(k\)-induction |
scientific article |
Statements
A cooperative parallelization approach for property-directed \(k\)-induction (English)
0 references
5 August 2020
0 references
parallel model checking
0 references
lemma sharing
0 references
property-directed \(k\)-induction
0 references
IC3/PDR
0 references
Craig interpolation
0 references
