Pavel Shved

According to our database, Pavel Shved authored at least 4 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Experience of improving the blast static verification tool.

Pavel Shved, Vadim S. Mutilin, Mikhail U. Mandrykin

Program. Comput. Softw., 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

Predicate Analysis with BLAST 2.7 - (Competition Contribution).

Pavel Shved, Mikhail U. Mandrykin, Vadim S. Mutilin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

Towards an Open Framework for C Verification Tools Benchmarking.

Alexey V. Khoroshilov, Vadim S. Mutilin, Evgeny Novikov, Pavel Shved, Alexander Strakh

Proceedings of the Perspectives of Systems Informatics, 2011