caxapa.ru :: Ну хоть до понятия temporal logic дошли, где-то и автоматы значит есть. Не-студенты таких понятий часто не знают. Плохо что ли? Дали бы сразу инструкцию как с Promela/SPIN работать. Я почти осилил -- вещь.

fk0, легенда (17.05.2018 23:23, просмотров: 554) ответил argus98 на ... для студентов. И говнокодеров.

Ну хоть до понятия temporal logic дошли, где-то и автоматы значит есть. Не-студенты таких понятий часто не знают. Плохо что ли? Дали бы сразу инструкцию как с Promela/SPIN работать. Я почти осилил -- вещь.

[ZX]

Ответить

- Спасибо!!! Какая-то офигенно мощная штука, вкуриваю.... - Evgeny_CD(17.05.2018 23:56)

Средства и методы разработки