2025-02-22T21:22:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83170%22&qt=morelikethis&rows=5

2025-02-22T21:22:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83170%22&qt=morelikethis&rows=5

2025-02-22T21:22:36-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK

2025-02-22T21:22:36-05:00 DEBUG: Deserialized SOLR response

Satisfiability For Symbolic Verification in VRS

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

Full description

Saved in:

Bibliographic Details
Main Authors:	Letichevsky, A., Letichevskyi, A., Weigert, T., Peschanenko, V.
Format:	Article
Language:	English
Published:	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2013
Series:	Управляющие системы и машины
Subjects:	Информационные технологии и системы
Online Access:	http://dspace.nbuv.gov.ua/handle/123456789/83170
Tags:	Add Tag No Tags, Be the first to tag this record!

id	irk-123456789-83170
record_format	dspace
spelling	irk-123456789-831702018-03-21T17:55:05Z Satisfiability For Symbolic Verification in VRS Letichevsky, A. Letichevskyi, A. Weigert, T. Peschanenko, V. Информационные технологии и системы Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями представленных формулой логики первого порядка. Использованы методы Satisfiability Modulo Theory вместо логического вывода в соответствующем исчислении для эффективных вычислений в предикатных трансформерах. This paper demonstrates the use of the first order logic in symbolic verification of the requirement specifications of reactive software systems. We consider symbolic models of a specified system which are transition systems with symbolic states represented by formulae of the first order logic. To efficiently compute predicate transformers the Satisfiability Modulo Theory methods are used instead of the logical inference in the corresponding calculi. Розглянуто використання логіки першого порядку у символьній верифікації специфікацій вимог програмного забезпечення, символьні моделі систем, які є транзиційними системами з символьними станами представленими формулою логіки першого порядку. Використано методи Satisfiability Modulo Theory замість логічного виводу у відповідних численнях для ефективного обчислення у предикатних трансформерах. 2013 Article Satisfiability For Symbolic Verification in VRS / A. Letichevsky, A. Letichevskyi, T. Weigert, V. Peschanenko // Управляющие системы и машины. — 2013. — № 3. — С. 81-87. — Бібліогр.: 26 назв. — англ. 0130-5395 http://dspace.nbuv.gov.ua/handle/123456789/83170 519.686.2 en Управляющие системы и машины Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
topic	Информационные технологии и системы Информационные технологии и системы
spellingShingle	Информационные технологии и системы Информационные технологии и системы Letichevsky, A. Letichevskyi, A. Weigert, T. Peschanenko, V. Satisfiability For Symbolic Verification in VRS Управляющие системы и машины
description	Рассмотрены использование логики первого порядка в символьной верификации спецификаций требований программного обеспечения, символьные модели систем, которые есть транзиционными системами с символьными состояниями представленных формулой логики первого порядка. Использованы методы Satisfiability Modulo Theory вместо логического вывода в соответствующем исчислении для эффективных вычислений в предикатных трансформерах.
format	Article
author	Letichevsky, A. Letichevskyi, A. Weigert, T. Peschanenko, V.
author_facet	Letichevsky, A. Letichevskyi, A. Weigert, T. Peschanenko, V.
author_sort	Letichevsky, A.
title	Satisfiability For Symbolic Verification in VRS
title_short	Satisfiability For Symbolic Verification in VRS
title_full	Satisfiability For Symbolic Verification in VRS
title_fullStr	Satisfiability For Symbolic Verification in VRS
title_full_unstemmed	Satisfiability For Symbolic Verification in VRS
title_sort	satisfiability for symbolic verification in vrs
publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
publishDate	2013
topic_facet	Информационные технологии и системы
url	http://dspace.nbuv.gov.ua/handle/123456789/83170
citation_txt	Satisfiability For Symbolic Verification in VRS / A. Letichevsky, A. Letichevskyi, T. Weigert, V. Peschanenko // Управляющие системы и машины. — 2013. — № 3. — С. 81-87. — Бібліогр.: 26 назв. — англ.
series	Управляющие системы и машины
work_keys_str_mv	AT letichevskya satisfiabilityforsymbolicverificationinvrs AT letichevskyia satisfiabilityforsymbolicverificationinvrs AT weigertt satisfiabilityforsymbolicverificationinvrs AT peschanenkov satisfiabilityforsymbolicverificationinvrs
first_indexed	2023-10-18T19:26:13Z
last_indexed	2023-10-18T19:26:13Z
_version_	1796146948138336256

Satisfiability For Symbolic Verification in VRS

Similar Items