2007 | OriginalPaper | Chapter
Abstract Error Projection
Authors : Akash Lal, Nicholas Kidd, Thomas Reps, Tayssir Touili
Published in: Static Analysis
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
In this paper, we extend model-checking technology with the notion of an
error projection
. Given a program abstraction, an error projection divides the program into two parts: the part outside the error projection is guaranteed to be correct, while the part inside the error projection can have bugs. Subsequent automated or manual verification effort need only be concentrated on the part inside the error projection. We present novel algorithms for computing error projections using
weighted pushdown systems
that are sound and complete for the class of Boolean programs and discuss additional applications for these algorithms.