Geodesic
Using the static verification tools for checking the ScopeShell system
Numerical methods and programming, Tome 10 (2009) no. 1, pp. 22-33.

Voir la notice de l'article provenant de la source Math-Net.Ru

Freeware static verification tools for Java code analysis are considered. Test results and an estimate for the efficiency of different tools for checking the ScopeShell system developed at the Department of Research Automation (Faculty of Computational Mathematics and Cybernetics, Moscow State University) are given.
Keywords: static verification; detecting bugs in software; automated code analysis; Java programming language. 
@article{VMP_2009_10_1_a20,
     author = {S. V. Stepanov and A. G. Shishkin},
     title = {Using the static verification tools for checking the {ScopeShell} system},
     journal = {Numerical methods and programming},
     pages = {22--33},
     publisher = {mathdoc},
     volume = {10},
     number = {1},
     year = {2009},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/}
}
TY  - JOUR
AU  - S. V. Stepanov
AU  - A. G. Shishkin
TI  - Using the static verification tools for checking the ScopeShell system
JO  - Numerical methods and programming
PY  - 2009
SP  - 22
EP  - 33
VL  - 10
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/
LA  - ru
ID  - VMP_2009_10_1_a20
ER  - 
%0 Journal Article
%A S. V. Stepanov
%A A. G. Shishkin
%T Using the static verification tools for checking the ScopeShell system
%J Numerical methods and programming
%D 2009
%P 22-33
%V 10
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/
%G ru
%F VMP_2009_10_1_a20
S. V. Stepanov; A. G. Shishkin. Using the static verification tools for checking the ScopeShell system. Numerical methods and programming, Tome 10 (2009) no. 1, pp. 22-33. http://geodesic.mathdoc.fr/item/VMP_2009_10_1_a20/