TECHNOLOGY OF CREATING RELIABLE PROGRAMS
DOI:
https://doi.org/10.30888/2663-5712.2023-18-01-054Keywords:
Kripke structure, program models, predicates, database, primitive-monitor, primitive-protocolAbstract
This work deal with the creation of program models with the help of their description by means of temporal logic. As a result, a program model is created in the form of a non-deterministic finite automatons. Using this model, you can create programs in anMetrics
Metrics Loading ...
References
C. Hoare. Communicating sequential processes. Prentice Hall International. ISBN 978-0-13-153271-7. 238 p. 2015.
Robin Milner: A Calculus of Communicating Systems, Springer Verlag, ISBN 0-387-10235-3. 171 p. 1980.
Doron A. Peled, Michael Wooldridge. Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. ISBN10 364200430X, ISBN13 9783642004308.
Салапатов В.І. Порядок опису і обробки графа автоматної моделі програми. ISSN 1028-9763. Математичні машини і системи. 2021. № 3. С.121-125.
Downloads
Published
2023-03-30
How to Cite
Голуб, С., & Салапатов, В. (2023). TECHNOLOGY OF CREATING RELIABLE PROGRAMS. SWorldJournal, 1(18-01), 106–110. https://doi.org/10.30888/2663-5712.2023-18-01-054
Issue
Section
Articles
License
Copyright (c) 2023 Authors
This work is licensed under a Creative Commons Attribution 4.0 International License.
