Daniel Kroening
Software Engineering Institute
Publications by Daniel Kroening
-
SAT-Based Predicate Abstraction of Programs
September 01, 2005 • Technical Report
Edmund ClarkeDaniel KroeningNatasha Sharygina
This note presents technical details of a SAT-based predicate abstraction technique used in ComFoRT (component formal reasoning technology).
read -
Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog
June 01, 2005 • White Paper
Daniel KroeningNatasha SharyginaEdmund Clarke
This paper proposes to use predicate abstraction for verifying RTL Verilog, a technique successfully used for software verification.
read