Our website uses cookies to enhance your browsing experience.
Accept
to the top
>
>
Posts: #Release

Posts: # Release

Sep 25 2009
PVS-Studio 3.30 release took place on September 25, 2009
Andrey Karpov
The main feature of this code analyzer version, PVS-Studio, is the possibility of testing 32-bit projects for estimating the complexity and cost of code migration to 64-bit systems. Due to...
...
Sep 07 2009
PVS-Studio 3.20: New Version Released
Andrey Karpov
OOO "Program Verification Systems" has released a new version of static analyzer PVS-Studio, 3.20. All the changes in the program refer to the inner structure of the program only, while from...
...
Subscribe to the newsletter
Want to receive a monthly digest of the most interesting articles and news? Subscribe!
Aug 10 2009
PVS-Studio 3.10 Released
Andrey Karpov
A new version of code analyzer PVS-Studio 3.10 has been released. PVS-Studio is a static code analyzer designed for simplification of modern applications in C and C++ development. PVS-Studio...
...
Jul 27 2009
New program PVS-Studio 3.00 released July 27, 2009!
Andrey Karpov
We are glad to introduce a new software by OOO "Program Verification Systems" named PVS-Studio (PVS is an abbreviation of our company's name). PVS-Studio is a static code analyzer intended...
...
Apr 20 2009
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30
Andrey Karpov
OOO "Program Verification Systems" announces the issue of a new version of the static code analyzer - Viva64 2.30. Viva64 tool is designed for searching errors in the code of 64-bit applications...
...
Oct 15 2008
Viva64 2.20 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64...
...
Sep 05 2008
Viva64 2.10 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new release of source code analyzer Viva64 2.10. Main feature of this version it's a support of Visual Studio 2008 Service Pack...
...
Jul 10 2008
Viva64 2.0 Release
Andrey Karpov
OOO "Program Verification Systems" company is glad to announce a new major release of source code analyzer Viva64 2.0. Viva64 is a static analyzer of C/C++ code. Viva64 allows to detect...
...
View more Pagination arrow previous
Showing: - of 78