program analysis

process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness

en-GB/ˈpɹəʊɡɹæm əˈnæləsɪs/
en-US/ˈpɹoʊɡˌɹæm æˈnælɪsɪs/

קטגוריות:

analysisalgorithm