Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

(15,21)(15,21)

Метод Флойда: математическая модель программы и требований, задача верификации.

Определение логики LTL, примеры свойств систем, выразимых с помощью формул LTL.

Федотов Анатолий Михайлович © 1996-2024, Новосибирский государственный университет © 1996-2024, Институт вычислительных технологий СО РАН © 1996-2024, Федотов А.М.