| Subject | English | Russian |
| progr. | Certainly, most of the research on continuous-time model checking is based on this model | Бесспорно, большая часть исследований по верификации с непрерывным временем основана на этой модели (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| progr. | Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| math. | continuous-time model | модель c непрерывным временем (ssn) |
| math. | continuous-time model | непрерывная модель (в отличие от дискретной ssn) |
| comp. | continuous-time model | модель для непрерывного времени |
| progr. | continuous-time model checking | верификация с непрерывным временем (моделей ssn) |
| progr. | different models of continuous time | различные модели непрерывного времени (ssn) |
| progr. | linear continuous time models | линейные непрерывные модели (ssn) |
| progr. | linear models of continuous-time processes | линейные модели непрерывных процессов (ssn) |
| progr. | linear time-invariant continuous model | линейная непрерывная модель с постоянными параметрами (ssn) |
| progr. | most of the research on continuous-time model checking | большая часть исследований по верификации с непрерывным временем (ssn) |
| progr. | number of different models of continuous time | множество различных моделей непрерывного времени (ssn) |
| progr. | time-invariant continuous model | непрерывная модель с постоянными параметрами (ssn) |