Зведений каталог бібліотек Харкова
Чеботарев, А. Н. Верификация спецификаций в языке L относительно темпоральных свойств, не выразимых в этом языке [Текст] / Институт кибернетики им. В.М.Глушкова НАН Украины, к.Киев, Украина // Кибернетика и системный анализ. — 2009. — №5. — С. 3-12.
- Анотація:
Розглянуто методи верифікації специфікацій реактивних алгоритмів у мові L. Верифікіція здійснюється відносно властивостей, поданих и вигляді формул класу GR(1) темпоральної логіки LTL.
- Є складовою частиною документа:
Кибернетика и системный анализ [Текст]. — 2009. — №5.
- Теми документа
