суббота, 23 мая 2009 г.

ASTREE

Давно у меня уже висит в браузере вкладка этого проекта. Все ждал, куда можно будет ссылку на него вставить. Не дождался :) Поэтому пусть будет сама по себе. Итак:

ASTREE – проект по проверке наличия run-time ошибок в C-шных программах (но не во всех, а только без динамического выделения памяти и рекурсии). Основное назначение – проверка встраиваемого ПО.

Например, с его помощью проверялось ПО для Airbus A340, A380 и автоматического спутника.

Может кому пригодиться.

Комментариев нет: