program analysis (Q2112188)
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
Language:
other details
aliases software analysis
 computer program analysis
 analysis of programs
 analysis of computer programs
 analysis of software
description process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness

External Links
(P646) /m/015gvv
(P3417) Program-Analysis
(P3553) 20013575
(P6366) 98183937
(P9100) program-analysis
(P10283) C98183937