In Computing Centre named after A.A.Dorodnitsin of Russian Academy of Sciences, situated 40 Vavilova str., Moscow, a seminar devoted to the questions of static code analysis took place.
OOO "Program Verification Systems" experts made a report "Use of static code analysis technologies for automatic detection of errors in programs". After the report a discussion with the Computing Centre staff took place.
RAS Computing Centre, founded in 1955 by academician A.A.Dorodnitsin, is a leading research institute of RAS in the sphere of computing methods, mathematical modeling, computer software and also application of computer technologies in different spheres of science and technology.
English
Français
104