<nowiki>análisis de software; analyse de programme; аналіз праграмаў; Programmanalyse; تجزیه و تحلیل برنامه; 程序分析; Анализа програма; programska analiza; analiza programów; аналіз програм; 프로그램 분석; Ανάλυση προγράμματος (πληροφορική); programa analizilo; ohjelmistojen analysointi; program analysis; تحليل البرنامج; programmanalyys; programmi analüüs; працэс аўтаматычнага аналізу паводзінаў кампутарных праграмаў; analis pemrogram; процес автоматичного аналізу поведінки комп’ютерних програм щодо таких властивостей, як правильність, надійність, безпека чи динамічність; 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; Analisis de software; 컴퓨터 프로그램 분석</nowiki>
program analysis
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness