- Compiler Technology Department
- Computer Systems Department
- Information Systems Department
- Software Engineering Department
- System integration and multi-disciplinary collaborative environments
- System Programming Department
- Theoretical Computer Science Department
- Academic council
- Dissertation council
- Verification Center of the Operating System Linux
- Center of competence in parallel and distributed computing
Predicate Analysis with Blast 2.7.
Shved P., Mandrykin M., Mutilin V.
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.
Proceedings of TACAS. 2012. Vol. 7214. P. 525–527.