An Automatic Proving Approach to Parameterized Verification (Q4617972)
From MaRDI portal
scientific article; zbMATH DE number 7014561
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Automatic Proving Approach to Parameterized Verification |
scientific article; zbMATH DE number 7014561 |
Statements
An Automatic Proving Approach to Parameterized Verification (English)
0 references
7 February 2019
0 references
automatic verification
0 references
cache coherence protocols
0 references
inductive methods
0 references
invariant and proof generation
0 references
theorem proving
0 references
