Wikidata

(Q2112188)

English

program analysis

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

  • software analysis
  • computer program analysis
  • analysis of programs
  • analysis of computer programs
  • analysis of software
In more languages

Statements

subclass of
algorithm
0 references
ACM Classification Code (2012)
10010143
0 references
Commons category
Program analysis
0 references

Identifiers

GitHub topic
program-analysis
1 reference
reference URL
https://github.com/topics/program-analysis
title
program-analysis · GitHub Topics · GitHub (English)
retrieved
21 July 2021
Zhihu topic ID
20013575
subject named as
程序分析
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  Retrieved from "https://www.wikidata.org/w/index.php?title=Q2112188&oldid=2131502797"