Open-Source Projects

• Email: khoroshilov@ispras.ru
• Registered on: 11/25/2009
• Last connection: 12/09/2018

Issues

• Assigned issues: 5
• Reported issues: 208

Projects

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