Временной автомат

Математическая модель из теории автоматов (timed automaton): конечный автомат с набором часов — вещественных переменных, которые отсчитывают время. Переходы между состояниями разрешены только при заданных условиях на показания часов, а при переходе часы можно сбросить. Модель применяют для формальной верификации систем реального времени, протоколов связи и встраиваемых систем: с её помощью доказывают, что система соблюдает временные ограничения.

проверено по: en.wikipedia.org ↗