Category:Program analysis
Jump to navigation
Jump to search
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness | |||||
Upload media | |||||
Subclass of | |||||
---|---|---|---|---|---|
| |||||
Subcategories
This category has the following 2 subcategories, out of 2 total.
C
T
Media in category "Program analysis"
The following 2 files are in this category, out of 2 total.
-
CQLinq Editor Overview.png 445 × 717; 69 KB
-
Lines of code.jpg 478 × 284; 12 KB