ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ
В последние годы инструменты для символической верификации на основе временной логики входят в состав большинства индустриальных САПР СБИС. В символических верификаторах используется логика ветвящегося времени CTL. Ее недостатком считается неинтуитивность. Предлагаются интерпретации временных логик,...
Format: | Article |
---|---|
Language: | Russian |
Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2019-02-01
|
Series: | Informatika |
Online Access: | https://inf.grid.by/jour/article/view/813 |
Similar Items
-
Об оценке результатов метода микросейсмического зондирования при их геологической интерпретации
by: А. В. Горбатиков, et al.
Published: (2019-10-01) -
От логики эпистемологии к эпистемологии логики
by: Віктор Вікторович Горбатов
Published: (2017-07-01) -
Об интерпретации знаковой природы костюма мордвы
Published: (2009-06-01) -
Об интерпретации знаковой природы костюма мордвы
Published: (2009-06-01) -
ОБ ОДНОЙ ИНТЕРПРЕТАЦИИ ЭКСПЕРИМЕНТА У. ЛАБОВА
by: Бринев К.И., et al.
Published: (2023-12-01)