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

Andrey Karpov
Articles: 565

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.


"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;

Andrey Karpov
Articles: 565

Bugs Found

Checked Projects
Collected Errors
14 526
This website uses cookies and other technology to provide you a more personalized experience. By continuing the view of our web-pages you accept the terms of using these files. If you don't want your personal data to be processed, please, leave this site. Learn More →