почему, тля+ само то чтобы верифицировать сам алгоритм и проперти
Ну типа во-первых надо переписать алгоритм в ней. Потом доказать свойства. И сделать исправления. Потом переписать назад, В обоих случаях можно получить былинный отказ.
Ну типа во-первых надо переписать алгоритм в ней. Потом доказать свойства. И сделать исправления. Потом переписать назад, В обоих случаях можно получить былинный отказ.
Плюс мне синтаксис не нравится 😅
не надо переписывать 1 в 1 же, там модель ток надо описать с важными на твой взгляд свойствами