General

Profile

Mikhail Mandrykin

  • Login: misha_bear
  • Email: mandrykin@ispras.ru
  • Registered on: 09/22/2010
  • Last connection: 01/13/2022

Issues

open closed Total
Assigned issues 29 28 57
Reported issues 5 3 8

Projects

Project Roles Registered on
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Manager, Developer, Project Creator 09/02/2014
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Klever Reporter 09/04/2015
Linux Driver Verification Developer, Project Creator 09/22/2010
BLAST Manager 09/16/2011
Crude_slicer Manager, Developer, Project Creator 10/31/2017
LDV Tools Developer, Project Creator 03/17/2018
CPAchecker Developer, Project Creator 07/28/2018
CVC3 with small optimizations for BLAST Developer, Project Creator 07/25/2018
Linux Kernel Safety RuleDB Developer 04/25/2012
Imperative HOL examples Manager, Developer, Project Creator 10/16/2019
TSMT: Tools for bounded E-Matching Manager, Developer, Project Creator 08/19/2019
VerKer - Verification of Linux Kernel Library Functions Developer, Reporter 05/21/2017