16 search results - page 4 / 4 » A Simple Method for Parameterized Verification of Cache Cohe... |
159
click to vote
CAV
2000
Springer
15 years 7 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...