Computing Over−Approximations with Bounded Model Checking by Kroening, D

Computing over-approximations with bounded model checking by Kroening, D

Property-Driven Fence Insertion using Reorder Bounded Model Checking by Joshi, S, Kroening, D

Property-driven fence insertion using reorder bounded model checking by Joshi, S, Kroening, D

Verified software: theories, tools and experiments. by Kroening, D, Margaria, T

Formal Verification at Higher Levels of Abstraction by Kroening, D, Seshia, S

Efficient Computation of Recurrence Diameters by Kroening, D, Strichman, O

Verification and Falsification of Programs with Loops Using Predicate Abstraction by Kroening, D, Weissenbacher, G

Image Computation and Predicate Refinement for RTL Verilog using Word Level Proofs by Kroening, D, Sharygina, N

Decision Procedures – an Algorithmic Point of View by Kroening, D, Strichman, O

Automated pipeline design by Kroening, D, Paul, W

Model Checking with Abstraction for Web Services by Sharygina, N, Kroening, D

Program synthesis: challenges and opportunities by Kroening, D, David, C

Checking consistency of C and Verilog using predicate abstraction and induction by Kroening, D, Clarke, E

Making the most of BMC counterexamples by Groce, A, Kroening, D

Race analysis for systemC using model checking by Blanc, N, Kroening, D

Gollum: modular and greybox exploit generation for heap overflows in interpreters by Heelan, S, Melham, T, Kroening, D

Hardware Verification using ANSI−C Programs as a Reference by Clarke, E, Kroening, D

Automated Pipeline Design by Kroening, D, Paul, W

Counterexample−guided Precondition Inference by Seghir, M, Kroening, D