Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/2495
Title: Формальная семантика сложных операторов линейной темпоральной логики
Authors: Зайченко, С. А.
Хаханов, В. И.
Keywords: сложные операторы линейной темпоральной логики
анализ цифровых систем
верификация
Issue Date: 2008
Publisher: ХНУРЭ
Citation: Зайченко, С. А. Формальная семантика сложных операторов линейной темпоральной логики / С. А. Зайченко, В. И. Хаханов // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2008. – Вып. 145. – С. 14–29.
Abstract: Рассматривается проблема нечеткости интерпретации сложных операторов линейной темпоральной логики в применении к анализу цифровых систем в рамках динамических методов верификации. Вводятся формальные определения и спецификации ключевых вычислительных процедур рабочего цикла верификации, ориентированные на максимальное быстродействие анализа.
URI: http://openarchive.nure.ua/handle/document/2495
Appears in Collections:Кафедра автоматизації проектування обчислювальної техніки (АПОТ)

Files in This Item:
File Description SizeFormat 
Зайченко_АСУ_2008_145.pdf799.41 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.