Software Engineering Institute

Edmund Clarke

Edmund Clarke is an SEI alumni employee.

• All

Verification of Evolving Software via Component Substitutability Analysis

December 1, 2005 • Technical Report

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

SAT-Based Predicate Abstraction of Programs

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