Publication:
Specification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems

Простая страница элемента
dc.contributor.authorKosikov, S.
dc.contributor.authorSlieptsov, I.
dc.contributor.authorIsmailova, L.
dc.contributor.authorWolfengagen, V.
dc.contributor.authorИсмаилова, Лариса Юсифовна
dc.contributor.authorВольфенгаген, Вячеслав Эрнстович
dc.date.accessioned2024-12-26T10:45:39Z
dc.date.available2024-12-26T10:45:39Z
dc.date.issued2022
dc.description.abstract© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.The given paper considers an approach to the construction of information systems, the interaction of which with the user can be described in the form of a small set of formal requirements. The means of formal specification are proposed in the form of a language allowing to express requirements compactly and close to how they are formulated by the developer. The language is an extension of the language of linear temporal logic. The language support tools ensure the construction of a supporting environment that is sufficient for the construction of the system and static verification of its correctness. Based on the previously proposed approach to the automatic construction of systems on the example of a model of asynchronous discrete interaction (question-answer) with the user, the paper demonstrates that a statically verifiable solution to the problem in the form of a function with a certain signature does exist. The specification language permits to identify a variety of interaction protocols that can be implemented regardless of user actions.
dc.format.extentС. 164-169
dc.identifier.citationSpecification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems / Kosikov, S. [et al.] // Studies in Computational Intelligence. - 2022. - 1032 SCI. - P. 164-169. - 10.1007/978-3-030-96993-6_15
dc.identifier.doi10.1007/978-3-030-96993-6_15
dc.identifier.urihttps://www.doi.org/10.1007/978-3-030-96993-6_15
dc.identifier.urihttps://www.scopus.com/record/display.uri?eid=2-s2.0-85127650524&origin=resultslist
dc.identifier.urihttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=Alerting&SrcApp=Alerting&DestApp=WOS_CPL&DestLinkType=FullRecord&UT=WOS:000833484200015
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/28955
dc.relation.ispartofStudies in Computational Intelligence
dc.titleSpecification Language Based on Linear Temporal Logic for Automatic Construction of Statically Verified Systems
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
Файлы
Коллекции
Публикации