Predicate Analysis with BLAST 2.7: (Competition Contribution) P Shved, M Mandrykin, V Mutilin Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012 | 45 | 2012 |
Towards an open framework for C verification tools benchmarking A Khoroshilov, V Mutilin, E Novikov, P Shved, A Strakh Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 28 | 2012 |
Using Linux device drivers for static verification tools benchmarking MU Mandrykin, VS Mutilin, EM Novikov, AV Khoroshilov, PE Shved Programming and Computer Software 38, 245-256, 2012 | 20 | 2012 |
Linux driver verification architecture VS Mutilin, EM Novikov, AV Strakh, AV Khoroshilov, PE Shved Proceedings of the Institute for System Programming of the RAS (Proceedings …, 2011 | 17 | 2011 |
Binary compatibility of shared libraries implemented in C++ on GNU/Linux systems P Shved, D Silakov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2009 | 9 | 2009 |
Experience of improving the blast static verification tool PE Shved, VS Mutilin, MU Mandrykin Programming and Computer Software 38, 134-142, 2012 | 7 | 2012 |
Static Verification “Under The Hood”: Implementation Details and Improvements of BLAST P Shved, V Mutilin, M Mandrykin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2011 | 7 | 2011 |
On reasoning about finite sets in software model checking P Shved Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2010 | 1 | 2010 |