Edmund Clarke
Software Engineering Institute
Publications by Edmund Clarke
-
Verification of Evolving Software via Component Substitutability Analysis
December 01, 2005 • Technical Report
Sagar ChakiEdmund ClarkeNatasha Sharygina
This 2005 report describes the application of the SEI Architecture Tradeoff Analysis Method (ATAM) to the U.S. Army's Warfighter Information Network-Tactical (WIN-T) system.
read -
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 -
Predicate Abstraction with Minimum Predicates
October 01, 2004 • White Paper
Sagar ChakiEdmund 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.
read