Letichevsky, A.; Letichevskyi, A.; Weigert, T.; Peschanenko, V.
(Управляющие системы и машины, 2013)
Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями ...