Open-Source Projects

• Email: khoroshilov@ispras.ru
• Registered on: 11/25/2009
• Last connection: 04/08/2020

Issues

• Assigned issues: 5
• Reported issues: 209

Projects

• AstraVer Toolset (Manager, Developer, Project Creator, 04/26/2018)
• TSMT: Tools for bounded E-Matching (Manager, Developer, Project Creator, 01/16/2020)
• Тесты с использованием моделей на базе Summer (Manager, Developer, 12/03/2013)
• CPAchecker (Manager, Project Creator, 07/28/2018)
• Deductive Verification Tool for Machine Code (Manager, Developer, Project Creator, 10/11/2017)
• Aspectrace (Manager, Developer, 01/28/2019)
• VerKer - Verification of Linux Kernel Library Functions (Manager, Developer, Reporter, 05/09/2017)
• Race Hound (Manager, Developer, Project Creator, 09/05/2012)
• Aspectator (Reporter, 02/27/2018)
• MASIW Framework (Manager, Project Creator, 09/11/2013)
• KEDR (Manager, Developer, 06/20/2011)
• C Instrumentation Framework (Reporter, 06/05/2012)
• CVC3 with small optimizations for BLAST (Manager, Project Creator, 07/25/2018)
• Linux Driver Verification (Manager, Project Creator, 05/20/2010)
• MicroTESK for PowerPC (Manager, 10/21/2016)
• Examples of behavioral AADL models (Manager, 02/13/2017)
• Linux Kernel Safety RuleDB (Manager, Developer, Project Creator, 10/25/2011)
• Build Analyzer (Manager, Developer, Project Creator, 04/19/2017)
• Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, Project Creator, 04/26/2018)
• Дополнительные материалы к монографии (Manager, Developer, Project Creator, 04/28/2018)
• Clade (Manager, Developer, 10/19/2018)
• memconfigcheck (Manager, Developer, Project Creator, 01/15/2019)
• Verification Tool Supports (Manager, Developer, 07/02/2015)
• Klever (Manager, Developer RO, 09/04/2015)
• Kartographer (Manager, Project Creator, 11/18/2015)
• Requality (Manager, Developer, Product Owner, 11/26/2009)
• 1-Click Eclipse Text Editor (Manager, Project Creator, 06/27/2014)
• КМБ-2014 (Manager, Developer, 09/29/2014)
• BLAST (Manager, 09/16/2011)
• Deductive Verification Tools for Linux Kernel (Manager, Developer, Project Creator, 09/02/2014)
• LDV Tools (Manager, Project Creator, 03/17/2018)
• Linux Kernel Rules Repo (Project Creator, 07/29/2018)