 | 2010 |
|---|
| 7 |       | Jason Baumgartner,
Michael L. Case,
Hari Mony:
Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers.
FMCAD 2010: 61-69 |
| 2009 |
|---|
| 6 | | Jason Baumgartner,
Hari Mony,
Michael L. Case,
Jun Sawada,
Karen Yorav:
Scalable conditional equivalence checking: An automated invariant-generation based approach.
FMCAD 2009: 120-127 |
| 5 | | Michael L. Case,
Hari Mony,
Jason Baumgartner,
Robert Kanzelman:
Enhanced verification by temporal decomposition.
FMCAD 2009: 17-24 |
| 2008 |
|---|
| 4 | | Michael L. Case,
Victor N. Kravets,
Alan Mishchenko,
Robert K. Brayton:
Merging nodes under sequential observability.
DAC 2008: 540-545 |
| 3 | | Michael L. Case,
Alan Mishchenko,
Robert K. Brayton,
Jason Baumgartner,
Hari Mony:
Invariant-Strengthened Elimination of Dependent State Elements.
FMCAD 2008: 1-9 |
| 2 | | Alan Mishchenko,
Michael L. Case,
Robert K. Brayton,
Stephen Jang:
Scalable and scalably-verifiable sequential synthesis.
ICCAD 2008: 234-241 |
| 2007 |
|---|
| 1 | | Michael L. Case,
Alan Mishchenko,
Robert K. Brayton:
Automated Extraction of Inductive Invariants to Aid Model Checking.
FMCAD 2007: 165-172 |
Data released under the ODC-BY 1.0 license — See also our legal information page