Editing BLAST model checker (section)

==Achievements==
BLAST came first in the category DeviceDrivers64 in the 1st Competition on Software Verification (2012) that was held at TACAS 2012 in [[Tallinn]].<ref>{{cite conference
| author=Dirk Beyer
| title=Competition on Software Verification (SV-COMP)
| book-title=Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and of Analysis Systems
| publisher=Springer-Verlag, Heidelberg
| year=2012
| url=http://www.sosy-lab.org/~dbeyer/Publications/2012-TACAS.Competition_on_Software_Verification.pdf
}}</ref>

BLAST came third (category DeviceDrivers64) in the 2nd Competition on Software Verification (2013) that was held at TACAS 2013 in [[Rome]].<ref>{{cite conference
| author=Dirk Beyer
| title=Second Competition on Software Verification (Summary of SV-COMP 2013)
| book-title=Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and of Analysis Systems
| publisher=Springer-Verlag, Heidelberg
| year=2013
| url=http://www.sosy-lab.org/~dbeyer/Publications/2013-TACAS.Second_Competition_on_Software_Verification.pdf
}}</ref>

BLAST came first in the category DeviceDrivers64 in the 3rd Competition on Software Verification (2014), that was held at TACAS 2014 in [[Grenoble]].<ref>{{cite conference
| author=Dirk Beyer
| title=Third Competition on Software Verification (Summary of SV-COMP 2014)
| book-title=Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and of Analysis Systems
| publisher=Springer-Verlag, Heidelberg
| year=2014
| url=http://www.sosy-lab.org/~dbeyer/Publications/2014-TACAS.Status_Report_on_Software_Verification.pdf
}}</ref>