Ilya Shchepetkov

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

06:49 PM Дополнительные материалы к монографии Bug #9301 (Closed): Глава 7. Поправить трансляцию SubjectAccessesType
06:47 PM Дополнительные материалы к монографии Bug #9299 (Closed): Глава 7. Поправить пример delete_user
06:04 PM Дополнительные материалы к монографии Bug #9302 (Closed): Исправить на стр. 27: "В своей работы авторы..." на "В своей работе авторы..."
06:03 PM Дополнительные материалы к монографии Bug #9303 (Closed): Выяснить правильный размер МРОСЛ ДП-модели: Размер - 300 страниц. Исправлено.

04:31 PM Дополнительные материалы к монографии Bug #9303 (Closed): Выяснить правильный размер МРОСЛ ДП-модели: В одном месте написано, что размер МРОСЛ ДП-модели - 300 страниц, а в другом - 200. Правильный ответ - около 500?
04:30 PM Дополнительные материалы к монографии Bug #9302 (Closed): Исправить на стр. 27: "В своей работы авторы..." на "В своей работе авторы..."

04:19 PM Clade Revision a4f0dc96: Support for functions without declarations and definitions
01:36 PM Clade Revision 510bf794: Fix multilib build

05:59 PM Clade Revision 5b3d502e: Raise exception if loaded file does not exist
05:58 PM Clade Revision 6420adad: Command output should be a list

Also available in: Atom

Open-Source Projects