Predicate Analysis with BLAST 2.7 - (Competition Contribution)

@inproceedings{Shved2012PredicateAW,
  title={Predicate Analysis with BLAST 2.7 - (Competition Contribution)},
  author={Pavel Shved and Mikhail U. Mandrykin and Vadim S. Mutilin},
  booktitle={TACAS},
  year={2012}
}
We present the software verification tool BLAST 2.7, which we submitted for the Competition on Software Verification. The tool is an improvement over BLAST 2.5, and its development is mostly targeted at its performance and usability in the Linux Driver Verification project. The paper overviews the tool and outlines our contribution to it. 1 Verification Approach BLASTuses theCounterExample-GuidedAbstractionRefinement approach (CEGAR)with “lazy abstraction” [1], a decision procedure to explore… CONTINUE READING

From This Paper

Figures, tables, results, connections, and topics extracted from this paper.
14 Extracted Citations
5 Extracted References
Similar Papers

Similar Papers

Loading similar papers…