Towards an Open Framework for C Verification Tools Benchmarking. - Alexey V. Khoroshilov; Vadim S. Mutilin; Evgeny Novikov; Pavel Shved; Alexander Strakh (Ershov Memorial Conference, 2011)

Predicate Analysis with BLAST 2.7 - (Competition Contribution). - Pavel Shved; Mikhail U. Mandrykin; Vadim S. Mutilin (TACAS, 2012)

Using linux device drivers for static verification tools benchmarking. - Mikhail U. Mandrykin; Vadim S. Mutilin; Evgeny Novikov; Alexey V. Khoroshilov; Pavel Shved (Program. Comput. Softw., 2012)

Experience of improving the blast static verification tool. - Pavel Shved; Vadim S. Mutilin; Mikhail U. Mandrykin (Program. Comput. Softw., 2012)