Vitaly Mordan
Vitaly Mordan- Email: mordan@ispras.ru
- Registered on: 06/28/2013
- Last connection: 11/15/2018
Issues
- Assigned issues: 24
- Reported issues: 54
Projects
- CPAchecker (Developer, 07/28/2018)
- CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
- Verification Tool Supports (Manager, Developer, 11/15/2018)
- LDV Tools (Developer, 03/17/2018)
- VerKer - Verification of Linux Kernel Library Functions (Developer, Reporter, 11/15/2018)
- Klever (Developer RO, 03/12/2017)
- Linux Kernel Safety RuleDB (Developer, 09/26/2014)
- Инструменты дедуктивной верификации моделей политик безопасности (Manager, Developer, 04/26/2018)
- Linux Driver Verification (Developer, 06/28/2013)
- AstraVer Toolset (Developer, 04/26/2018)
- Kartographer (Reporter, 07/10/2017)
- Дополнительные материалы к монографии (Developer, 04/28/2018)
Activity
08/31/2017
- 11:21 AM Klever Revision 5fcf4fc2: Resolve some verifiers exceptions
- 11:20 AM Klever Revision 6a6a3c6a: Added witness number for MEA tasks
08/02/2017
- 04:13 PM Klever Revision 98ce22db: Specify separation parameter
- 12:52 PM Klever Revision a87adb29: Fixed same name in Unknown and Unsafe-incomplete reports
- 12:16 PM Klever Revision 00dbcc46: Small fixes
- 10:38 AM Klever Revision 368af9ed: Corrected resource limitation factor for SC strategy
08/01/2017
07/31/2017
- 03:57 PM Klever Revision fb82a92d: Do not track preset config files
- Path to verifier executables should be set in those files in order to use them
- 03:53 PM Klever Revision 94064e87: Added presets for the most common job files
- Those presets emulate all old strategies (CMAV, SDV/MPV, Batch, MEA, property automata, etc.)
- 03:50 PM Klever Revision ae9d0655: Added presets for some verifiers/configs
Also available in: Atom