General

Profile

Vitaly Mordan

  • Login: mordan
  • Email: mordan@ispras.ru
  • Registered on: 06/28/2013
  • Last connection: 05/14/2024

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
Kartographer Reporter 07/10/2017
Klever Developer RO 03/12/2017
klever-atomic-context Manager, Developer 05/06/2024
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