Sciweavers

CHARME
2005
Springer

Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification

14 years 5 months ago
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification
Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrish
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CHARME
Authors Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan
Comments (0)