ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Понедельник
23 декабря
981957 Топик полностью
OlegPowerC (27.02.2020 11:30, просмотров: 521) ответил fk0 на A под Go, Ada, C есть что ли, верификация эта? "Мамой клянус"? C++ позволяет хотя бы не вошкаться руками с адресами, битами и байтами и наделать меньше ошибок, в основном логических. А в голом C всё отлаживать нужно, каждую мелочь (которая либо
Frama-C , gnatprove . Конечно есть. В C++ тоже есть уже контракты но это пока ещё совсем начало длинного пути, а пока Rust уже в Embeded....