General

Profile

Vladimir Gratinskiy

Issues

open closed Total
Assigned issues 94 392 486
Reported issues 9 4 13

Projects

Project Roles Registered on
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 07/13/2012
BLAST Reporter 08/20/2012
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 07/13/2012
Requality Developer 04/29/2020