A print version of the article "Approaches to verification and testing of 64-applications" was published in magazine "Informatsionnie tehnologii" ("Information Technologies") #7' 2008


The article by OOO "Program Verification Systems" workers devoted to the peculiarities of developing 64-bit applications was published in magazine "Informatsionnie tehnologii" ("Information Technologies") #7' 2008.

Picture 764433

"Novie tehnologii" ("New Technologie") publishing house has been releasing since 1995 the monthly scientific, technical and scientific-production magazine "Informatsioniie tehnologii" ("Information Technologies") with an appendix.

The editorial board consists of well-known scientists and experts of Russian leading academic organizations, higher education institutes, firms, trade institutes and enterprises.

The magazine covers the modern state and mainstream development tendencies in the spheres of development, production and use of information technologies. Original and review articles concerning the problems of developing and using information technologies are published as well as reference materials and information about scientific-technical and training activities carried out within the framework of this problem range.



Use PVS-Studio to search for bugs in C, C++, C# and Java

We offer you to check your project code with PVS-Studio. Just one bug found in the project will show you the benefits of the static code analysis methodology better than a dozen of the articles.

goto PVS-Studio;



Bugs Found

Checked Projects
355
Collected Errors
13 303