Login / Signup
Pavel Shved
Publication Activity (10 Years)
Years Active: 2011-2012
Publications (10 Years): 0
Top Topics
Formal Verification
User Friendly
Software Tools
Pairwise
Top Venues
Program. Comput. Softw.
TACAS
</>
Publications
</>
Pavel Shved
,
Mikhail U. Mandrykin
,
Vadim S. Mutilin
Predicate Analysis with BLAST 2.7 - (Competition Contribution).
TACAS
(2012)
Mikhail U. Mandrykin
,
Vadim S. Mutilin
,
Evgeny Novikov
,
Alexey V. Khoroshilov
,
Pavel Shved
Using linux device drivers for static verification tools benchmarking.
Program. Comput. Softw.
38 (5) (2012)
Pavel Shved
,
Vadim S. Mutilin
,
Mikhail U. Mandrykin
Experience of improving the blast static verification tool.
Program. Comput. Softw.
38 (3) (2012)
Alexey V. Khoroshilov
,
Vadim S. Mutilin
,
Evgeny Novikov
,
Pavel Shved
,
Alexander Strakh
Towards an Open Framework for C Verification Tools Benchmarking.
Ershov Memorial Conference
(2011)