Сайт бібліотеки  >  Електронний каталог  >  Опис документа

Опис документа

Letichevsky A., Letichevskyi A., Weigert T., Peschanenko V.
Satisfiability For Symbolic Verification in VRS

Вид документа:  Складова частина документа 
Мова:  Англійська  Обсяг:  С. 81-87 

Аннотацiя:

Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть традиционными системами с символьными состояниями представленных формулой логики первого порядка. Использованы методы Satisfiability Modulo Theory вместо логического вывода в соответствующем исчислении для эффективных вычислений в предикатных трансформерах.

Є складовою частиною документа Управляющие системы и машины (УСиМ) [Текст] : междунар. науч. журн. № 3 (245) / НАН Украины, Междунар. науч.-учеб. центр ИТИС, Ин-т кибернетики им. В. М. Глушкова. — К. : Ин-т кибернетики НАН Украины, 2013.