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

Topics

Publication Date

Karen Yorav (IBM)
September 2005 - Technical Report SAT-Based Predicate Abstraction of Programs

Authors: Edmund Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav (IBM)

This note presents technical details of a SAT-based predicate abstraction technique used in ComFoRT (component formal reasoning technology).