Статья 444

В рамках приложения в области теории построения и проверки правильности программ временная логика может применяться на этапе синтеза и на этапе верификации.

На этапе синтеза такое применение состоит в использовании временных спецификаций формул языка временной логики, описывающих вычислительное поведение программ для конструирования заранее правильных программ. На этапе верикации временная логика используется как средство проверки правильности уже построенных программ. На последнем мы и остановимся в настоящем параграфе.
Первое упоминание о том, как временные операторы всегда и иногда могут быть использованы при верификации программ появилось у Р.

приложения

приложения

Бурсталла и касалось последовательных программ, программ, представляющих собой один вычислительный процесс.