ВходНаше всё Теги codebook 无线电组件 Поиск Опросы Закон Четверг
21 ноября
О смысле всего сущего0xFF Средства и методы разработки Мобильная и беспроводная связь Блошиный рынокОбъявления
МикроконтроллерыPLD, FPGA, DSP AVRPICARM, RISC-VТехнологии Кибернетика, автоматика, протоколы Схемы, платы, компоненты
981960 Топик полностью
OlegPowerC (27.02.2020 11:35, просмотров: 540) ответил Лагунов на т.е. меня даже поправят, если у меня указатель в массиве вылезет за его размер?
На SPARK можно сделать pre post условия и прога не скомпилится если такое будет возможно. Ну на C тоже если использовать Frama-C например. 
Ответить