Predicate Abstraction of ANSI-C Programs Using SAT

Overview of attention for article published in Formal Methods in System Design, September 2004

Altmetric Badge

Mentioned by

patent: 5 patents

Citations

dimensions_citation: 135 Dimensions

Readers on

mendeley: 43 Mendeley
citeulike: 2 CiteULike

Summary Patents Dimensions citations

So far, Altmetric has seen 5 patents that reference this research output.

Dynamic prefetching of hot data streams

Grant US-8046752-B2

United States of America

Using dynamic analysis to improve model checking

Grant US-7962901-B2

United States of America

Data structure path profiling

Grant US-7926043-B2

United States of America

Leveraging garbage collection to dynamically infer heap invariants

Grant US-7912877-B2

United States of America

Predicate abstraction via symbolic decision procedures

Application US-7587707-B2

United States of America