A cooperative parallelization approach for property-directed \(k\)-induction (Q784140)
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: A cooperative parallelization approach for property-directed k-induction |
scientific article; zbMATH DE number 7228511
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A cooperative parallelization approach for property-directed \(k\)-induction |
scientific article; zbMATH DE number 7228511 |
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
0.85695153
0 references
0.83826303
0 references
0.83470863
0 references
0.83200186
0 references
0.82896155
0 references
0.8212194
0 references
0.8209666
0 references
0.82074976
0 references
0.8202964
0 references
