Project

General

Profile

Feature #1475

NModel.Extension logic

Added by Виктор Самунь about 10 years ago. Updated about 10 years ago.

Status:
New
Priority:
Normal
Category:
NModel
Target version:
Start date:
12/01/2011
Due date:
12/07/2011
% Done:

60%

Estimated time:

Description

Добавить поддержку формул LTL.

History

#1

Updated by Виктор Самунь about 10 years ago

  • Target version set to 2
#2

Updated by Виктор Самунь about 10 years ago

  • % Done changed from 0 to 60
#3

Updated by Виктор Самунь about 10 years ago

Написать верификатор для LTL.

#4

Updated by Виктор Самунь about 10 years ago

  • Due date changed from 12/05/2011 to 12/07/2011
#5

Updated by Виктор Самунь about 10 years ago

  • Target version changed from 2 to 3

Also available in: Atom PDF