OOO "Program Verification Systems"
Инструменты и решения для статического анализа
27.11.2008 Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.»
31.10.2008 Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.»
15.10.2008 Вышла новая версия Viva64 2.20. »
К началу | О нас | Контакты | Политика конфиденциальности | Соглашение об использовании
© 2006 - 2008, ООО "СиПроВер"
