AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Vadim Mutilin

Vadim Mutilin

Institute for System Programming Russian Academy of Sciences - Moscow / Russia
Others
AD Scientific Index ID: 4409631
Институт системного программирования Российской академии наук
person_outline Vadim Mutilin's MOST POPULAR ARTICLES
1-) Configurable toolset for static verification of operating systems kernel modules Programming and Computer Software 41 (1), 49-64, 2015
2-) Establishing Linux driver verification process International Andrei Ershov Memorial Conference on Perspectives of System …, 2009
3-) Predicate Analysis with BLAST 2.7: (Competition Contribution) International Conference on Tools and Algorithms for the Construction and …, 2012
4-) CPA-BAM-BnB: Block-Abstraction Memoization and Region-Based Memory Models for Predicate Abstractions: (Competition Contribution) International Conference on Tools and Algorithms for the Construction and …, 2017
5-) Analysis of typical faults in Linux operating system drivers Proceedings of the institute for system programming of the RAS (Proceedings …, 2012