Edmund Clarke

Edmund Clarke is an SEI alumni employee.

All

Verification of Evolving Software via Component Substitutability Analysis

December 1, 2005 • SEI Report

By Sagar Chaki , Edmund Clarke , Natasha Sharygina , Nishant Sinha

SAT-Based Predicate Abstraction of Programs

September 1, 2005 • SEI 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

Predicate Abstraction with Minimum Predicates

October 1, 2004 • White Paper

By Sagar Chaki , Edmund Clarke