Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type


Publication Date

Showing 1 - 2 of 2 results for the Author - daniel kroening

Technical Report | September 2005 - Technical Report SAT-Based Predicate Abstraction of Programs By Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav (IBM)

This note presents technical details of a SAT-based predicate abstraction technique used in ComFoRT (component formal reasoning technology).

White Paper | June 2005 - White Paper Word Level Predicate Abstraction and Refinement for ... By Daniel Kroening, Natasha Sharygina, Edmund Clarke

This paper proposes to use predicate abstraction for verifying RTL Verilog, a technique successfully used for software verification.