Daniel Kröning

Verifying C++ with STL containers via predicate abstraction

Alex Groce, Nicolas Blanc, Daniel Kröning, 2007, ASE '07.

Qualitätssicherung im Systembau

Daniel Kröning, 2005 .

Linear Arithmetic with Bit-Vectors using Omega and SAT

Daniel Kröning, 2005 .

Putting it all together – Formal verification of the VAMP

Christian Jacobi, Sven Beyer, Daniel Kröning, 2006, International Journal on Software Tools for Technology Transfer.

Computing Over-Approximations with Bounded Model Checking

Daniel Kröning, 2005 .