{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T03:39:52Z","timestamp":1775014792580,"version":"3.50.1"},"reference-count":16,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1134\/s0361768810010068","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T05:00:06Z","timestamp":1265605206000},"page":"36-47","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The use of error detection and compensation techniques for testing the integer class cBigNumber"],"prefix":"10.1134","volume":"36","author":[{"given":"R. N.","family":"Shakirov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,2,9]]},"reference":[{"key":"6053_CR1","unstructured":"Prime95 download page, http:\/\/www.mersenne.org\/freesoft.htm."},{"key":"6053_CR2","unstructured":"Kasperski, K., Drawbacks in the Design of Intel Core 2 Duo, System administrator, 2008, no. 6, pp. 50\u201359; http:\/\/samag.ru\/cgi-bin\/go.pl?q=articles;n=06.2008;a=01."},{"key":"6053_CR3","unstructured":"The GNU MP Bignum Library, http:\/\/www.swox.com \/gmp\/."},{"key":"6053_CR4","unstructured":"GMP Install Instruction for Windows Platform, http:\/\/www.cs.nyu.edu\/exact\/core.gmp\/."},{"key":"6053_CR5","volume-title":"The Art of Computer Programming, Vol. 2: Semi-numerical Algorithms","author":"D. E. Knuth","year":"1968","unstructured":"D. E. Knuth, The Art of Computer Programming, Vol. 2: Semi-numerical Algorithms (Addison-Wesley, Reading, Mass., 1968; Vil\u2019yams, Moscow, 2000)."},{"key":"6053_CR6","unstructured":"A Library for Doing Number Theory, http:\/\/www.shoup.net\/ntl\/."},{"key":"6053_CR7","unstructured":"Shakirov, R.N., Evaluating the Efficiency of Dynamic Arrays with Automatic Index Checking, in Doklady Vserossiiskoi konferentsii \u201cNovye informatsionnye tekhnologii v issledovanii slozhnykh structur (Proc. of the III All-Russia Conf. on New Information Technologies in the Analysis of Complex Structures), Tomsk, 2002, pp. 383\u2013388; http:\/\/www.imach.uran.ru\/exarray\/papers \/exarray.htm."},{"key":"6053_CR8","unstructured":"Shakirov, R.N., Templates for the Organization of Index Checking in C and C++ Programs, in Proc. of IEEE AIS\u201903 CAD-2003, Divnomorskoe, Russia, 2003, pp. 191\u2013207; http:\/\/www.imach.uran.ru\/exarray\/papers \/ex2003p.htm."},{"issue":"1","key":"6053_CR9","first-page":"163","volume":"14","author":"E.S. Chernov","year":"2008","unstructured":"Chernov, E.S. and Kulyamin, V.V., Testing Modern Libraries of Trigonometric Functions, in The UniTESK Approach: Results and Prospects, Trudy ISP RAN, 2008, vol. 14, no. 1, pp. 163\u2013179.","journal-title":"The UniTESK Approach: Results and Prospects, Trudy ISP RAN"},{"key":"6053_CR10","unstructured":"Shakirov, R.N., Development Principles of the Cross-Platform Class cBigNumber Implementing Arithmetic Operations on Unbounded Integers, in Doklady IV Sibirskoi nauchnoi shkoly-seminara SIBERCRYPT\u201905 \u201cKomp\u2019yuternaya bezopasnost\u2019 I kriptografiya (Proc. of the IV Siberian Workshop SIBERCRYPT\u201905 on Computer Security and Cryptography), Tomsk, 2005; http:\/\/www.imach.uran.ru\/cbignum\/papers\/cb2005p. htm."},{"key":"6053_CR11","unstructured":"Miller Strong Probable Prime Test, http:\/\/www.utm.edu\/research\/primes\/prove\/prove2-3.html."},{"key":"6053_CR12","volume-title":"Code Complete","author":"S. McConnell","year":"2004","unstructured":"McConnell, S., Code Complete, Redmond, Wash.: Microsoft Press, 2004."},{"key":"6053_CR13","unstructured":"Kulyamin, V.V., Prospects of Integration of Software Verification Methods, http:\/\/www.citforum.ru\/SE\/testig\/integration\/, 2009."},{"key":"6053_CR14","unstructured":"Kulyamin, V.V., Software Verification Methods, http:\/\/window.edu.ru\/window\/library?p-rid=56168, 2008."},{"key":"6053_CR15","volume-title":"Error Free Software: Know-How and Know-Why of Program Correctness","author":"R.L. Baber","year":"1991","unstructured":"Baber, R.L., Error Free Software: Know-How and Know-Why of Program Correctness, Chichester: Wiley, 1991."},{"key":"6053_CR16","volume-title":"Prikladnye metody verifikatsii program","author":"V.A. Nepomnyashchii","year":"1988","unstructured":"Nepomnyashchii, V.A. and Ryakin, O.M., Prikladnye metody verifikatsii program (Applied Methods for Program Verification), Moscow: Radio I Svyaz\u2019, 1988."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810010068.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810010068","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810010068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810010068.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:22:03Z","timestamp":1775010123000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810010068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":16,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["6053"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810010068","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]},"assertion":[{"value":"27 October 2008","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 February 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}