The articles "Using Static Analysis in Program Development" and "Adaptation of the technology of the static code analyzer for developing parallel programs" were published in issue N3 of...
The article briefly describes AMD64 architecture by AMD Company and its implementation EM64T by Intel Company. The architecture's peculiarities, advantages and disadvantages are...
OOO "Program Verification Systems" has concluded a partner agreement with Avangate company (www.avangate.com) which provides services for Internet sales of programs. The headquarters of...
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...
OOO "Program Verification Systems" has finished testing the code of software products of LEIOS family by an Italian company E.G.S. s.r.l.. The aim of the work was to check the compatibility of...
The article by OOO "Program Verification Systems" experts devoted to the peculiarities of developing parallel applications using OpenMP technology was published in RSDN Magazine #2...
The article describes the main preconditions and stages of development of open VivaCore library intended for code analysis and creation of metaprogramming systems. VivaCore project is a...
