OOO "Program Verification Systems"
Инструменты и решения для статического анализа
27/11/2008Вышла бета-версия анализатора кода VivaMP, предназначенного для выявления ошибок в параллельных OpenMP-программах.
31/10/2008Сразу две наших статьи опубликованы в журнале «Известия ТулГУ. Технические науки», выпуск №3 – 2008.
15/10/2008Вышла новая версия Viva64 2.20.
08/09/2008Наш новый реселлер - Avangate.
05/09/2008Вышла новая версия Viva64 2.10.
01/09/2008ООО "СиПроВер" закончило проверку кода программных продуктов семейства LEIOS итальянской компании E.G.S. s.r.l.. Целью работ была проверка кода на предмет его совместимости с 64-битными системами.
26/08/2008Вышла печатная версия статьи «32 подводных камня OpenMP при программировании на C++» в журнале «RSDN Magazine #2' 2008».
28/07/2008Запущена новая версия сайта www.viva64.com - теперь все содержимое сайта представлено на двух языках (английском и русском).
17/07/2008Вышла печатная версия статьи «Библиотека анализа кода VivaCore» в журнале «RSDN Magazine» #1' 2008.
16/07/2008Вышла печатная версия статьи «Подходы к верификации и тестированию 64-битных приложений» в журнале «Информационные технологии» #7' 2008.
К началу | О нас | Контакты | Политика конфиденциальности | Соглашение об использовании
© 2006 - 2008, ООО "СиПроВер"
