Representation of the program model using predicates

The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite automat. To achieve this goal, a task was set to imp...

Full description

Bibliographic Details

Published in:	Radìoelektronnì ì komp'ûternì sistemi (Online) Vol. 2024; no. 1; pp. 6 - 16
Main Authors:	Holub, Serhii, Salapatov, Volodymyr, Nemchenko, Vadym
Format:	Journal Article
Language:	English
Published:	National Aerospace University «Kharkiv Aviation Institute 28.02.2024
Subjects:	an indeterminate finite automaton predicate procedural programming language temporal logic
ISSN:	1814-4225, 2663-2012
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!