Зайченко, С. А.Чумаченко, С. В.2016-05-302016-05-302010Зайченко, С. А. Оптимизации вычислительного цикла анализа ассерций / С. А. Зайченко, С. В. Чумаченко // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Х. : Изд-во ХНУРЭ, 2010. – Вып. 151. – С. 69–79.http://openarchive.nure.ua/handle/document/424Предлагается обзор наиболее значимых оптимизаций вычислительного цикла модели DRTLQ, ориентированных на уменьшение количества элементарных действий по транспортированию событий от входов к выходам модели. Разрабатывается метод компрессии событий на выходе бесконечных репетиций.ruметод компрессии событиймодели и методы верификацииметоды устранения ошибокавтоматизация проектированияArticle