Abstract | ||
---|---|---|
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. |
Year | Venue | Field |
---|---|---|
2012 | Lecture Notes in Computer Science | Computer science,Artificial intelligence,Predicate analysis |
DocType | Volume | ISSN |
Conference | 7214 | 0302-9743 |
Citations | PageRank | References |
1 | 0.35 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Pavel Shved | 1 | 6 | 0.85 |
Mikhail Mandrykin | 2 | 17 | 4.08 |
Vadim Mutilin | 3 | 32 | 5.26 |