Editing BLAST model checker (section)

==References==
{{Reflist}}
;Notes
{{refbegin}}
* {{cite book |author=Pavel Shved |author2=Mikhail Mandrykin |author3=Vadim Mutilin|chapter= Predicate Analysis with BLAST 2.7.|title=Tools and Algorithms for the Construction and Analysis of Systems|publisher=Springer-Verlag|pages =525–527|year=2012|series=Lecture Notes in Computer Science|volume = 7214|isbn=978-3-642-28756-5|
editor1-first=Cormac|editor1-last=Flanagan|editor2-first= Barbara| editor2-last=König}}

* {{cite journal|doi=10.1007/s10009-007-0044-z|last1=Beyer|first1=Dirk|last2=Henzinger|first2=Thomas A.|last3=Jhala|first3=Ranjit|last4=Majumdar|first4=Rupak|title=The Software Model Checker Blast|journal=International Journal on Software Tools for Technology Transfer|volume=9|issue=5–6|pages=505–525|year= 2007|s2cid=1662778}}
* {{cite book|author=Thomas A. Henzinger|author2=Ranjit Jhala|author3=Rupak Majumdar|author4=Gregoire Sutre|name-list-style=amp|chapter= Software Verification with Blast|title=Proceedings of the 10th SPIN Workshop on Model Checking Software (SPIN 2003)|publisher=Springer-Verlag|pages =235–239|year=2003|series=Lecture Notes in Computer Science|volume = 2648|isbn=3-540-40117-2|editor1-first=Thomas|editor1-last= Ball|editor2-first= Sriram K.| editor2-last=Rajamani}}
{{refend}}