Project

General

Profile

Actions

[FEATURE] #12323

open

Разработка аниматора Event-B

Added by Eugene Kornykhin over 1 year ago.

Status:
Open
Priority:
Normal
Assignee:
-
Start date:
04/04/2023
Due date:
% Done:

0%

Estimated time:

Description

( ) Знакомство с интерфейсом replay <-> ProB и его реализацией в java-библиотеках
( ) Нулевая версия: все параметры всех событий есть в модельной трассе
( ) Отладка нулевой версии
( ) Первая версия: недостающие параметры событий вычисляются, поддерживаются некоторые шаблоны охранных условий
( ) Отладка первой версии
( ) Вторая версия: исследование потенциальных охранных условий, из которых можно эффективно автоматически восстанавливать отсутствующие параметры
( ) Отладка второй версии

No data to display

Actions

Also available in: Atom PDF