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

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

вот задания:

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

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

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

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