Форум АСУ в Україні

форум з автоматизації для викладачів, студентів та спеціалістів
Сьогодні: 12 листопада 2019, 22:08

Часовий пояс UTC + 2 годин [ DST ]




Створити нову тему Відповісти  [ 11 повідомлень ]  На сторінку Поперед.  1, 2
Автор Повідомлення
 Тема повідомлення: Re: Model checking - метод верифікації ПЗ
ПовідомленняДодано: 12 жовтня 2014, 18:13 
Офлайн
Викладач

З нами з: 29 листопада 2013, 17:11
Повідомлення: 4993
Model Checking для CTL
Зображення
 AXϕ выполняется в состоянии s , если формула ϕ выполняется во всех состояниях, непосредственно следующих за s ;
 EXϕ выполняется в состоянии s , если формула ϕ выполняется хотя бы в одном состоянии, непосредственно следующем за s ;
 AFϕ (неизбежно ϕ ) выполняется в состоянии s , если на всех путях, начинающихся из состояния s , формула ϕ когда-нибудь выполнится;
 EFϕ (возможно ϕ ) выполняется в состоянии s , если из этого состояния существует путь, на котором формула ϕ когда-нибудь выполнится;
 AGϕ (глобально ϕ ) выполняется в состоянии s , если на всех путях, начинающихся из состояния s , во всех состояниях этих путей формула ϕ выполняется;
 EGϕ выполняется в состоянии s , если существует путь из s , во всех состояниях которого формула ϕ выполняется;
 A(ϕ1Uϕ2 ) выполняется в состоянии s , если на всех путях, начинающихся в s , когда-нибудь в будущем выполнится формула ϕ2 , а до этого во всех состояниях этих путей выполняется формула ϕ1 ;
 E (ϕ1Uϕ2) выполняется в состоянии s , если из s существует путь, на котором когда-нибудь в будущем выполнится ϕ2 , а до этого во всех состояниях этого пути выполняется ϕ1 .


Догори
 Профіль  
 
Відображати повідомлення за:  Сортувати за  
Створити нову тему Відповісти  [ 11 повідомлень ]  На сторінку Поперед.  1, 2

Часовий пояс UTC + 2 годин [ DST ]



Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 1 гість


Ви не можете створювати нові теми у цьому форумі
Ви не можете відповідати на теми у цьому форумі
Ви не можете редагувати ваші повідомлення у цьому форумі
Ви не можете видаляти ваші повідомлення у цьому форумі
Ви не можете додавати файли у цьому форумі

Знайти:
Вперед:  
cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
Вы можете бесплатно создать форум PHPBB2 на MyBB2.ru, Также возможно создать форум бесплатно PHPBB3 на Getbb.ru
Український переклад © 2005-2007 Українська підтримка phpBB