 | 2008 |
|---|
| 6 |       | Vijay D'Silva,
Daniel Kroening,
Georg Weissenbacher:
A Survey of Automated Techniques for Formal Software Verification.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(7): 1165-1178 (2008) |
| 2007 |
|---|
| 5 | | Thomas Witkowski,
Nicolas Blanc,
Daniel Kroening,
Georg Weissenbacher:
Model checking concurrent linux device drivers.
ASE 2007: 501-504 |
| 4 | | Daniel Kroening,
Georg Weissenbacher:
Lifting Propositional Interpolants to the Word-Level.
FMCAD 2007: 85-89 |
| 3 | | Gérard Basler,
Daniel Kroening,
Georg Weissenbacher:
A Complete Bounded Model Checking Algorithm for Pushdown Systems.
Haifa Verification Conference 2007: 202-217 |
| 2 | | Gérard Basler,
Daniel Kroening,
Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs.
SPIN 2007: 131-148 |
| 2006 |
|---|
| 1 | | Daniel Kroening,
Georg Weissenbacher:
Counterexamples with Loops for Predicate Abstraction.
CAV 2006: 152-165 |
