 | 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 |
