OOO "Program Verification Systems"
Development tools and static analysis solutions
27/11/2008Beta-version of VivaMP code analyzer designed for error educing in parallel OpenMP programs has been released.
31/10/2008Two our articles are published in the magazine “Izvestiya TulGU. Tehnicheskie Nauki”, issue ¹3 – 2008.
15/10/2008Announcing Viva64 2.20.
08/09/2008Our new reseller is Avangate.
05/09/2008Announcing Viva64 2.10.
01/09/2008OOO "Program Verification Systems" and E.G.S. s.r.l. announced completion of development of 64-bit version of LEIOS solutions.
26/08/2008A print version of the article "32 OpenMP traps for C++ developers" was published in "RSDN Magazine #2' 2008".
28/07/2008A new version of www.viva64.com site is launched - now all its content is represented in two languages (English and Russian).
17/07/2008A print version of the article “VivaCore code analysis library” was published in “RSDN Magazine” #1' 2008.
16/07/2008A print version of the article “Approaches to verification and testing of 64-applications” was published in magazine “Informatsionnie tehnologii” ("Information Technologies") #7' 2008.
Home | About Us | Contact Us | Privacy Policy | Terms of Use
© 2006 - 2008, OOO "Program Verification Systems". All rights reserved.
