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