General

Profile

Ilya Shchepetkov

Issues

open closed Total
Assigned issues 17 41 58
Reported issues 9 33 42

Projects

Project Roles Registered on
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer, Project Creator 04/26/2018
C Instrumentation Framework Developer RO 12/29/2012
Aspectator Developer, Developer RO 02/27/2018
Clade Manager, Developer, Project Creator 02/22/2018
Kartographer Manager, Developer 11/18/2015
MicroTESK for PowerPC Developer 10/21/2016
Klever Developer RO 09/04/2015
Linux Driver Verification Developer 07/11/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/11/2012