Аннотация:
Рассмотрены временная логика $S_{4.3D}$ с одним модальным операторов «всегда» и логика знаний $S_5$ с одним модальным оператором «некто знает что-то». Распределенная система моделируется по поведению как система переходов состояний. В это поведение вносится модель ошибок.
Ключевые слова:временная логика, модальная логика, логика знаний, распределенная система, поведение, моделирование, система перехода состояний СПС, отказоустойчивость, модель ошибок
Полный текст:
PDF файл (6400 kB)