|
Related articles:
Key terms: abstract abstract interpretation abstract system analysis analysis performed automated code computer science dynamic errors every finite formal methods mathematical possible program program analysis property semantics software specification stanford static static analysis static code analysis techniques tool true Search external links cited by footnotes on Wikipedia page Static code analysis: |
|