TECHNOLOGY OF CREATING RELIABLE PROGRAMS

Authors

DOI:

https://doi.org/10.30888/2663-5712.2023-18-01-054

Keywords:

Kripke structure, program models, predicates, database, primitive-monitor, primitive-protocol

Abstract

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 an

Metrics

PDF views
28
Jul 2023Jan 2024Jul 2024Jan 2025Jul 2025Jan 20265.0

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.

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