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 - edmund clarke , Type - White Paper

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.

White Paper | October 2004 - White Paper Predicate Abstraction with Minimum Predicates By Sagar Chaki, Edmund Clarke

Predicate abstraction is a popular abstraction technique employed in formal software verification. Experiments show that predicate minimization can result in a significant reduction of both verification time and memory usage compared to earlier methods.