Publication:
Construction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic

Простая страница элемента
dc.contributor.authorSlieptsov, I.
dc.contributor.authorKosikov, S.
dc.contributor.authorIsmailova, L.
dc.contributor.authorWolfengagen, V.
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.date.accessioned2024-12-26T10:46:19Z
dc.date.available2024-12-26T10:46:19Z
dc.date.issued2022
dc.description.abstract© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The paper considers the automatic construction of information systems according to the formal specification of interaction with a user. The constructed system is provided with a proof of correctness in such a way that static verification of the compliance of the constructed system with its specification and the correctness of the construction itself is possible. The specification language is an extension of linear temporal logic, which allows the user setting the specification to set a class of possible options for the interaction of an information system with the environment and/or the user. The proposed solution is based on the implementation of the interpretive function, which checks the consistency of the specification and the interaction history at each stage.
dc.format.extentС. 506-511
dc.identifier.citationConstruction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic / Slieptsov, I. [et al.] // Studies in Computational Intelligence. - 2022. - 1032 SCI. - P. 506-511. - 10.1007/978-3-030-96993-6_55
dc.identifier.doi10.1007/978-3-030-96993-6_55
dc.identifier.urihttps://www.doi.org/10.1007/978-3-030-96993-6_55
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85127650183&origin=resultslist
dc.identifier.urihttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000833484200055
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/28956
dc.relation.ispartofStudies in Computational Intelligence
dc.titleConstruction of Statically Verified System Interacting with User in Question-Answer Mode According to the Specification Set by the Formula of Linear Temporal Logic
dc.typeConference Paper
dspace.entity.typePublication
oaire.citation.volume1032 SCI
relation.isAuthorOfPublication5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isAuthorOfPublication23f144a8-cfa0-4c80-b566-1c175c9afbb1
relation.isAuthorOfPublication.latestForDiscovery5d4d81d1-001d-4284-b6d7-0285bcf446fe
relation.isOrgUnitOfPublication010157d0-1f75-46b2-ab5b-712e3424b4f5
relation.isOrgUnitOfPublication.latestForDiscovery010157d0-1f75-46b2-ab5b-712e3424b4f5
Файлы
Коллекции
Публикации