General

Profile

Victor Kuliamin

  • Login: kuliamin
  • Email: kuliamin@ispras.ru
  • Registered on: 12/18/2009
  • Last connection: 06/14/2022

Issues

open closed Total
Assigned issues 3 0 3
Reported issues 0 0 0

Projects

Project Roles Registered on
AstraVer Toolset Developer 04/26/2018
Дополнительные материалы к монографии Developer 04/28/2018
Инструменты дедуктивной верификации моделей политик безопасности Manager, Developer 04/26/2018
Summer Manager 01/26/2016
Материалы конференций Manager 10/02/2015
КМБ-2014 Manager, Developer 09/29/2014

Activity

03/18/2016

01:40 PM Summer Revision b48bd3e3: Fixed debug tracing in contract executor without postcondition
Victor Kuliamin

10/02/2015

02:17 PM Материалы конференций SAI 2015 Proceedings.pdf
Полное содержание докладов Victor Kuliamin
02:17 PM Материалы конференций Table of Contents.pdf
Список докладов Victor Kuliamin

11/17/2014

03:00 PM Summer Revision beb2bc54: 2014 update
Victor Kuliamin
02:00 PM Summer Revision 7a747c30: 2014 update
Victor Kuliamin
01:59 PM Summer Revision 954c6c65: 2014 update
Victor Kuliamin
01:59 PM Summer Revision 9a178538: 2014 update
Victor Kuliamin
01:58 PM Summer Revision f0643d90: 2014 update
Victor Kuliamin
01:58 PM Summer Revision 5d283f3a: 2014 update
Victor Kuliamin
01:57 PM Summer Revision 84a6c855: 2014 update
Victor Kuliamin

Also available in: Atom