Визуализация темпоральной логики | LTL с пояснениями на диаграммах состояний | SOEN 331

Изучите темпоральную логику и линейную темпоральную логику (ЛТЛ) визуально, используя простые диаграммы состояний и примеры. В этом видео объясняется, как формулы темпоральной логики ведут себя в различных состояниях и путях, что упрощает понимание таких понятий, как «Всегда», «В конечном итоге», «Следующий», «До тех пор, пока», «Освобождение», «Безопасность», «Жизнеспособность» и «Справедливость». Идеально подходит для студентов, изучающих SOEN 331 «Формальные методы», проверку моделей, разработку программного обеспечения, информатику или темпоральную логику для подготовки к экзамену. Темы: Темпоральная логика, ЛТЛ, Визуализация темпоральной логики, Диаграммы состояний, Свойство безопасности, Свойство живучести, Справедливость, Оператор «До тех пор», Оператор «Освобождение», Формальные методы, Проверка моделей.