caxapa.ru :: Меня больше интресует система формальной верификации софта. Не в виде теоретических проектов, а чтобы практический С код проанализировало и нащло там ошибки. Быстро!

Evgeny_CD^{Архитектор} (27.02.2012 00:08, просмотров: 112) ответил pin на Не дОлжно создавать вещи, от которых жизнь человека не сделается хоть капельку лучше.

Меня больше интресует система формальной верификации софта. Не в виде теоретических проектов, а чтобы практический С код проанализировало и нащло там ошибки. Быстро!

Ответить

Средства и методы разработки