Давно у меня уже висит в браузере вкладка этого проекта. Все ждал, куда можно будет ссылку на него вставить. Не дождался :) Поэтому пусть будет сама по себе. Итак:
ASTREE – проект по проверке наличия run-time ошибок в C-шных программах (но не во всех, а только без динамического выделения памяти и рекурсии). Основное назначение – проверка встраиваемого ПО.
Например, с его помощью проверялось ПО для Airbus A340, A380 и автоматического спутника.
Может кому пригодиться.
Комментариев нет:
Отправить комментарий