Carnegie Mellon University

Daniel Kroening

Daniel Kroening is an SEI alumni employee.

• All

SAT-Based Predicate Abstraction of Programs

September 1, 2005 • Technical Report

By Edmund Clarke , Daniel Kroening , Natasha Sharygina , Karen Yorav (IBM)

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog

June 1, 2005 • White Paper

By Daniel Kroening , Natasha Sharygina , Edmund Clarke