TECHNOLOGY OF CREATING RELIABLE PROGRAMS

Автор(и)

DOI:

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

Ключові слова:

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

Анотація

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

Metrics Loading ...

Посилання

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.

Опубліковано

2023-03-30

Як цитувати

Голуб, С., & Салапатов, В. (2023). TECHNOLOGY OF CREATING RELIABLE PROGRAMS. SWorldJournal, 1(18-01), 106–110. https://doi.org/10.30888/2663-5712.2023-18-01-054

Номер

Розділ

Статті