Victor Kuliamin - Open-Source Projects

Victor Kuliamin

Email: kuliamin@ispras.ru
Registered on: 12/18/2009
Last connection: 01/19/2021

Issues

Assigned issues: 3
Reported issues: 0

Projects

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

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