 помогите решить задачу по верификации, задача иностранного вуза на англ языке, срочно |
Здравствуйте, гость ( Вход | Регистрация )
| lidia |
 4.11.2010, 21:48
Сообщение
#1
|
|
Новичок  Группа: Продвинутые Сообщений: 3 Регистрация: 4.11.2010 Город: москва  |
Нужно решить задачу по теме Computer-Aided Formal Verification
|
   |
 
|
  |
Ответов
| Vahappaday |
6.11.2010, 8:14
Сообщение
#2
|
|
Аспирант Группа: Продвинутые Сообщений: 334 Регистрация: 26.4.2009 Город: Липецк Учебное заведение: ЛГТУ Вы: студент |
Здорово указывать пароль в отдельном файлике))))
А что такое AX в первой задаче? В принципе, о чём-то подобном я читал, но с подобной терминологией не сталкивался. И да, сами-то чего нарешали? Да и AF тоже... Вообще, есть компактно изложенная теория? |
|
|
|
| lidia |
8.11.2010, 19:02
Сообщение
#3
|
|
Новичок Группа: Продвинутые Сообщений: 3 Регистрация: 4.11.2010 Город: москва |
слева написано что для всех путей начинающихся с данногоо состояния в конце концов будет состояние в котором р верно а справа что для данного состояния либо р верно в данном состоянии, либо для всех путей верно что в следующем состоянии верно тоже выражение что и слев т.е. либо р верно прямо щас, либо в конце концов для всех путей будет состояние в котором оно верно
|
|
|
|
Сообщений в этой теме
lidia помогите решить задачу по верификации 4.11.2010, 21:48
Harch И что что надо? Давайте задачу и наработки. 4.11.2010, 21:53
lidia
И что что надо? Давайте задачу и наработки.
вот ... 6.11.2010, 7:02 Harch
Так и не увидел ваших наработок... 6.11.2010, 8:47 |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
Текстовая версия | Сейчас: 28.5.2025, 22:09 |
Книжки в помощь: "Сборник заданий по высшей математике" Кузнецов Л.А., "Сборник заданий по высшей математике" Чудесенко В.Ф., "Индивидуальные задания по высшей математике" Рябушко А.П., и другие.
Русская версия Invision Power Board
v2.1.7 © 2025 IPS, Inc.
Зеркало сайта Решебник.Ру - reshebnik.org.ru