Daniel Kroening

Danger Invariants pdf

Daniel Kroening, Cristina David, Matt Lewis, 2015, ArXiv.

Decision Procedures

D. Kroening, O. Strichman, Daniel Kroening, 2020, Texts in Theoretical Computer Science. An EATCS Series.

SPECIAL S ECTION O N T OOLS A ND A LGORITHMS F OR THE C ONSTRUCTION A ND A NALYSIS O F S YSTEMS

Alex Groce, Daniel Kroening, Sagar Chaki, 2005 .

Error explanation with distance metrics

S. Chaki, O. Strichman, Daniel Kroening, 2006, International Journal on Software Tools for Technology Transfer.

ON TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS

S. Chaki, D. Kroening, O. Strichman, 2005 .