Belyaev Mikhail Anatol'evich

Publications in Math-Net.Ru

1. Fast and safe concrete code execution for reinforcing static analysis and verification
   
   Model. Anal. Inform. Sist., 22:6 (2015),  763–772
2. Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
   
   Model. Anal. Inform. Sist., 21:6 (2014),  83–93
3. Defect Detection: Combining Bounded Model Checking and Code Contracts
   
   Model. Anal. Inform. Sist., 20:6 (2013),  22–35
4. LLVM-based static analysis tool using type and effect systems
   
   Model. Anal. Inform. Sist., 18:4 (2011),  45–55