Prototype Verification System (PVS) - Система анализа защищенности и обнаружения уязвимостей проектирования путем анализа алгоритма программно-аппаратного обеспечения.
Спасибо Вам за добавление этой статьи в
