Daniel Kroening

7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Decision Procedures

Daniel Kroening and others (2016) · Springer Berlin Heidelberg

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee and others (2016)

Hardware Verification Using Software Analyzers

Rajdeep Mukherjee and others (2015) · IEEE Computer Society Annual Symposium on VLSI

CBMC – C Bounded Model Checker

Daniel Kroening and others (2014) · Lecture notes in computer science · Springer Science+Business Media

Loopfrog: A Static Analyzer for ANSI-C Programs

Daniel Kroening and others (2009) · IEEE/ACM International Conference on Automated Software Engineering (ASE)

Putting it all together – Formal verification of the VAMP

Sven Beyer and others (2006) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media

Proving the Correctness of a Complete Microprocessor

Christian Jacobi and others (2000) · Informatik aktuell · Springer Nature