Terms for subject Mass media containing анализ состояния

Russian	English
анализ достижимости состояний	reachability analysis (метод верификации конечных автоматов)
методы анализа систем в пространстве состояний	state-space methods
программа анализа стационарного состояния с помощью ЭВМ	steady-state computer analysis program
ревизия, позволяющая получить обзор и анализ системных записей и активности системы с целью установления её текущего состояния безопасности	audit