Verification of the formal requirements for the system behavior based on automaton objects

Authors: F. A. Novikov, I. V. Afanasieva, L. N. Fedorchenko, T. A. Kharisova

Source: Научно-технический вестник информационных технологий, механики и оптики, Vol 25, Iss 2, Pp 328-338 (2025)

Subject Terms: автоматическая верификация, обусловленные регулярные выражения, модель поведения, автоматное программирование, граф переходов состояний, унифицированный язык моделирования uml, диаграмма конечного автомата, параллельное поведение, архитектура программного обеспечения, реагирующая система, Information technology, T58.5-58.64

File Description: electronic resource

Relation: https://ntv.elpub.ru/jour/article/view/453; https://doaj.org/toc/2226-1494; https://doaj.org/toc/2500-0373

Access URL: https://doaj.org/article/82482ff0467a4a20bb54a72017b861f3