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