caxapa.ru :: Frama-C , gnatprove . Конечно есть. В C++ тоже есть уже контракты но это пока ещё совсем начало длинного пути, а пока Rust уже в Embeded....

OlegPowerC (27.02.2020 11:30, просмотров: 476) ответил fk0 на A под Go, Ada, C есть что ли, верификация эта? "Мамой клянус"? C++ позволяет хотя бы не вошкаться руками с адресами, битами и байтами и наделать меньше ошибок, в основном логических. А в голом C всё отлаживать нужно, каждую мелочь (которая либо

Frama-C , gnatprove . Конечно есть. В C++ тоже есть уже контракты но это пока ещё совсем начало длинного пути, а пока Rust уже в Embeded....

Микроконтроллеры