program analysis
Sign in to saveAlso known as software analysis, computer program analysis, analysis of programs, analysis of computer programs, analysis of software
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
In the Vinony graph
Vinony's link graph records 89 inbound references to program analysis, and connects out to operational semantics, software development process and formal verification.
It is catalogued under the topic Program analysis.
Vinony links it to 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- analysis
Show 5 more facts
- topic's main category
- Category:Program analysis
- ACM Classification Code (2012)
- 10010143
- Commons category
- Program analysis
- uses
- computer program
- class of object(s) of occurrence
- computer program
via Wikidata · CC0
Connections
operational semantics
Entity
software development process
Entity
formal verification
Entity
correctness
Entity
dynamic program analysis
Entity
Isabelle
Entity
computer science
Entity
International Standard Book Number
Entity
C
Entity
digital object identifier
Entity
compiler
Entity
software engineering
Entity
data structure
Entity
Turing machine
Entity
interpreter
Entity
software development
Entity
software testing
Entity
integrated development environment
Entity
agile software development
Entity
debugger
Entity