If you haven't received our response, please do the following: check your Spam/Junk folder and click the
"Not Spam" button for our message.
This way, you won't miss messages from our team in the future.
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 "Izvestiya TulGU. Tehnicheskie Nauki" magazine, 2008.
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 Avangate company is located in Amsterdam (Holland).
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 code with 64-bit systems. The testing was performed with the help of...
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 development of OpenC++ library in which support of C and C++ language peculiarities...