Зображення обкладинки

Methods of forward and backward symbolic modeling of systems specified by basic protocols

The paper considers methods of forward and backward symbolic modeling which are used for solution of verification tasks for basic protocols systems. Besides of algorithms for state space search detailed in model checking works, the main task of symbolic modeling is implementation of transition from...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автор:	Potienko, S.V.
Формат:	Стаття
Мова:	Російська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 519.686.2
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1014
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Backward transformation of formulas in symbolic modeling: from the result to the source formula
за авторством: Godlevsky, A.B., та інші
Опубліковано: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
за авторством: Kolchin, A.V.
Опубліковано: (2026)

Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)

Symbolic modeling of basic protocols systems with arbitrary number of agents
за авторством: Potiyenko, S.V.
Опубліковано: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
за авторством: S. V. Potiyenko
Опубліковано: (2013)

Some approaches to the control and transformation of algorithms over the analysis of the data which are specified
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

Forward and backward electron emission in binary cell of radioisotope current source
за авторством: Kononenko, S.I., та інші
Опубліковано: (2015)

α-particle induced forward-backward electron emission from titanium nitride
за авторством: Zhurenko, V.P., та інші
Опубліковано: (2018)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)

Forward and backward electron yield ratio for α-particle induced emission from different materials
за авторством: Zhurenko, V.P., та інші
Опубліковано: (2021)

The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)

Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

The constructional knowledge of sets and their properties
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)

Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
за авторством: Kuksa, A.I.
Опубліковано: (2015)

Software technology for conducting simulation experiments with mathematical models of physiological systems
за авторством: Aksnova, T.V.
Опубліковано: (2018)

Models and methods of analytical support for strategic management decision-making
за авторством: Ilina, E.P., та інші
Опубліковано: (2015)

Neuro-symbolic approach for the biological systems and processes research
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
за авторством: Iwaniak, M., та інші
Опубліковано: (2013)

Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)

Parallel implementation of directed search processes for optimal solutions
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)