icon-carat-right
menu
search
cmu-wordmark
Carnegie Mellon University
Software Engineering Institute
Home
Publications
Authors
Edmund Clarke
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