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.
0