Vitaly Mordan
- Login: mordan
- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 06/24/2021
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 19 | 23 | 42 |
| Reported issues | 8 | 47 | 55 |
Projects
| Project | Roles | Registered on |
|---|---|---|
| AstraVer Toolset | Developer | 04/26/2018 |
| Verification Tool Supports | Manager, Developer | 11/15/2018 |
| Дополнительные материалы к монографии | Developer | 04/28/2018 |
| Инструменты дедуктивной верификации моделей политик безопасности | Manager, Developer | 04/26/2018 |
| Kartographer | Reporter | 07/10/2017 |
| Klever | Developer RO | 03/12/2017 |
| Linux Driver Verification | Developer | 06/28/2013 |
| LDV Tools | Developer | 03/17/2018 |
| CPAchecker | Developer | 07/28/2018 |
| CVC3 with small optimizations for BLAST | Developer | 07/25/2018 |
| Linux Kernel Safety RuleDB | Developer | 09/26/2014 |
| VerKer - Verification of Linux Kernel Library Functions | Developer, Reporter | 11/15/2018 |
Activity
02/18/2019
-
01:29 PM Clade Revision a0b8e523: Prevent failures on undefined functions
12/12/2018
-
- Evgeny Novikov wrote:
> But there can be files with the same names but various contents. So, it seems you suggest a ... -
- For example, we have the following hierarchy of nodes in report:
-root
--Component1
--Component2
---CPAchecker_1
... -
- Now each unsafe node is tied to verification node (with resources, logs, etc.).
Unlike variable names in races, some... -
- Feature #8704 allowed to separated source files from error traces and put them into a single archive, which can be us...
08/31/2017
-
-
08/02/2017
-
-
-
Also available in: Atom