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