Версия для печати темы

Автор: lidia 4.11.2010, 21:48

Нужно решить задачу по теме Computer-Aided Formal Verification

Автор: Harch 4.11.2010, 21:53

И что что надо? Давайте задачу и наработки.

Автор: lidia 6.11.2010, 7:02

вот задания:


Прикрепленные файлы
 _________________3_______________.doc ( 25.5 килобайт ) Кол-во скачиваний: 7
 ____________3.rar ( 73.68 килобайт ) Кол-во скачиваний: 3

Автор: Vahappaday 6.11.2010, 8:14

Здорово указывать пароль в отдельном файлике))))

А что такое AX в первой задаче? В принципе, о чём-то подобном я читал, но с подобной терминологией не сталкивался.
И да, сами-то чего нарешали?
Да и AF тоже... Вообще, есть компактно изложенная теория?

Автор: Harch 6.11.2010, 8:47

Так и не увидел ваших наработок...

Автор: lidia 8.11.2010, 19:02

слева написано что для всех путей начинающихся с данногоо состояния в конце концов будет состояние в котором р верно а справа что для данного состояния либо р верно в данном состоянии, либо для всех путей верно что в следующем состоянии верно тоже выражение что и слев т.е. либо р верно прямо щас, либо в конце концов для всех путей будет состояние в котором оно верно