Ilya Shchepetkov
Ilya Shchepetkov- Email: shchepetkov@ispras.ru
- Registered on: 07/11/2012
- Last connection: 11/11/2019
Issues
- Assigned issues: 12
- Reported issues: 35
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)
Activity
11/11/2019
-
07:07 PM Инструменты дедуктивной верификации моделей политик безопасности Wiki edit: Сборка_модели_и_воспроизведение_доказательств (#1)
10/15/2019
-
- But for now it requires macOS Mojave SDK to be installed
10/14/2019
-
-
-
-
10/03/2019
-
- There must be .git folder near its sources, to avoid situations where Clade distribution is located inside some othe...
09/25/2019
-
-
-
- codecs.open() is slower then open()
Also available in: Atom