Sudhindra Pandav

Publication Activity (10 Years)

Years Active: 2005-2009
Publications (10 Years): 0

Publications

Roope Kaivola, Rajnish Ghughal, Naren Narasimhan, Amber Telfer, Jesse Whittemore, Sudhindra Pandav, Anna Slobodová, Christopher Taylor, Vladimir A. Frolov, Erik Reeber, Armaghan Naik
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. CAV (2009)
Sudhindra Pandav, Konrad Slind, Ganesh Gopalakrishnan
Counterexample Guided Invariant Discovery for Parameterized Cache Coherence Verification. CHARME (2005)