G
Хоть что
Size: a a a
2020 April 12
p
Ору
p
Поехал совсем со своей верификацией
p
Помоги верифицировать конечные автоматы
p
Я в душе не ебу как это делать
a
Да всё равно, просто изначально была идея верифицированно перепрошить флешку
верифицированно?
G
См. ссылку выше
p
Точнее я хз как именно верифицировать - каждое состояние по отдельности или автомат в целом
G
Я в душе не ебу как это делать
Говори какая проблема
p
Первое проще, второе правильнее
G
Точнее я хз как именно верифицировать - каждое состояние по отдельности или автомат в целом
В книге Бреди есть куча примеров верификации ATM
a
атм?
a
См. ссылку выше
что там?
p
В книге Бреди есть куча примеров верификации ATM
Это td with Idris которая?
G
Это td with Idris которая?
Ага
p
Значит нужно прочитать ее сначала
G
что там?
Калкулус-хуялкулус