 |
| Russian | English |
| алгоритм анализа достижимости | reachability algorithm (ssn) |
| анализ достижимости | accessibility analysis (алгоритмы проверки моделей обычно базируются на исчерпывающем обзоре множества всех состояний модели системы: для каждого состояния системы проверяется, "ведет ли оно себя корректно" удовлетворяет ли требуемому свойству. В самой простой форме этот метод известен как анализ достижимости ssn) |
| дефицит достижимости | reachability deficit (английский и русский источники dimock) |
| задача достижимости | reachability problem (ssn) |
| задача достижимости для асинхронных схем с ограниченными задержками | reachability problem for asynchronous circuits with bounded delays (ssn) |
| задача достижимости с ограниченными задержками | reachability problem with bounded delays (Alex_Odeychuk) |
| проблема достижимости | reachability problem (ssn) |