Open-Source Projects

• Email: shchepetkov@ispras.ru
• Registered on: 07/11/2012
• Last connection: 04/24/2019

Issues

• Assigned issues: 12
• Reported issues: 32

Projects

• Linux Driver Verification (Developer, 07/11/2012)
• Linux Kernel Safety RuleDB (Developer, 07/11/2012)
• C Instrumentation Framework (Developer, 12/29/2012)
• Klever (Developer RO, 09/04/2015)
• Kartographer (Manager, Developer, 11/18/2015)
• BLAST (Reporter, 08/20/2012)
• Clade (Manager, Developer, Project Creator, 02/22/2018)
• Aspectator (Developer, 02/27/2018)
• LDV Tools (Developer, 03/17/2018)
• AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
• Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
• Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
• CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
• CPAchecker (Developer, 07/28/2018)