General

Profile

Eugene Kornykhin

  • Login: kornevgen
  • Email: kornevgen@ispras.ru
  • Registered on: 11/27/2009
  • Last connection: 06/13/2024

Issues

open closed Total
Assigned issues 7 1 8
Reported issues 6 0 6

Projects

Project Roles Registered on
Deductive Verification Tools for Linux Kernel Reporter, Customer, Technical Writer 02/15/2022
Java 5 frontend Developer 11/27/2009
JavaTESK Developer 11/27/2009
Runtime Verification Manager, Developer, Project Creator 01/13/2023
MASIW Framework Developer 05/28/2015
Examples of behavioral AADL models Developer 03/27/2017

Activity

05/17/2023

06:10 PM Runtime Verification [FEATURE] #12306 (Resolved): Поддержка ACL
Eugene Kornykhin
06:09 PM Runtime Verification [FEATURE] #12307 (Resolved): Документация по текущему состоянию
Eugene Kornykhin
06:08 PM Runtime Verification [FEATURE] #12308 (Resolved): Добавить поддержку инвариантов в покрытие по MC/DC
Eugene Kornykhin

04/04/2023

02:53 PM Runtime Verification [FEATURE] #12323 (Open): Разработка аниматора Event-B
( ) Знакомство с интерфейсом replay <-> ProB и его реализацией в java-библиотеках
( ) Нулевая версия: все параметры ...
Eugene Kornykhin

03/28/2018

03:00 PM MASIW Framework Wiki edit: Wiki (#27)
Eugene Kornykhin

03/27/2017

02:53 PM Examples of behavioral AADL models Revision c0b1492c (aadl-behavioral-examples): Trailing whitespaces are removed.
Eugene Kornykhin
02:15 PM Examples of behavioral AADL models Revision b985a3aa (aadl-behavioral-examples): Theorem `rate_unit_correctness' is decomposed into theorem about ports.
Eugene Kornykhin
12:24 PM Examples of behavioral AADL models Revision 6f45b41d (aadl-behavioral-examples): Fix rate_unit_correctness() theorem.
Eugene Kornykhin

03/16/2017

12:29 AM Deductive Verification Tools for Linux Kernel Bug #8031: Why3IDE не запускается из-за неверной темы
Оказывается, проблема была в том, что до вызова why3 config уже был файл .why3.conf. И этот вызов why3 config не сдел... Eugene Kornykhin
12:22 AM Deductive Verification Tools for Linux Kernel Bug #8031 (New): Why3IDE не запускается из-за неверной темы
@
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing ../../../...
Eugene Kornykhin

Also available in: Atom