Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Author:	Potienko, S.V.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 519.686.2
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1014
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Backward transformation of formulas in symbolic modeling: from the result to the source formula
by: Godlevsky, A.B., et al.
Published: (2026)

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
by: Kolchin, A.V.
Published: (2026)

Test scenarios generation based on formal model
by: Letichevsky, A.A., et al.
Published: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
by: Kolchin, A.V.
Published: (2015)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
by: Levchenko, R.I., et al.
Published: (2026)

Symbolic modeling of basic protocols systems with arbitrary number of agents
by: Potiyenko, S.V.
Published: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
by: S. V. Potiyenko
Published: (2013)

Some approaches to the control and transformation of algorithms over the analysis of the data which are specified
by: Akulovsky, V.G.
Published: (2026)

Forward and backward electron emission in binary cell of radioisotope current source
by: Kononenko, S.I., et al.
Published: (2015)

α-particle induced forward-backward electron emission from titanium nitride
by: Zhurenko, V.P., et al.
Published: (2018)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
by: Ведь, Е. В.
Published: (2016)

Forward and backward electron yield ratio for α-particle induced emission from different materials
by: Zhurenko, V.P., et al.
Published: (2021)

The operating model of communicative informations systems
by: Zubenko, V.V.
Published: (2025)

Method for parallelizing nonlinear tasks
by: Paulin, O.N., et al.
Published: (2026)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
by: Lazarenko, S.V., et al.
Published: (2025)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

The constructional knowledge of sets and their properties
by: Ilman, V.M., et al.
Published: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
by: Tereshchenko, A.N.
Published: (2017)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
by: Stoyan, Yu. G., et al.
Published: (2016)

Semantic web and Wiki-systems
by: Glibovets, A.M., et al.
Published: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
by: Kopytchuk, M.B., et al.
Published: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
by: Zavadskyi, I.O.
Published: (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
by: Kuksa, A.I.
Published: (2015)

Software technology for conducting simulation experiments with mathematical models of physiological systems
by: Aksnova, T.V.
Published: (2018)

Models and methods of analytical support for strategic management decision-making
by: Ilina, E.P., et al.
Published: (2015)

Neuro-symbolic approach for the biological systems and processes research
by: Letychevskyi, O.O., et al.
Published: (2024)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
by: Iwaniak, M., et al.
Published: (2013)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

Parallel implementation of directed search processes for optimal solutions
by: Pepelyaev, V.A., et al.
Published: (2026)

Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
by: Romm, Ya. E., et al.
Published: (2026)

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
by: Akulovskiy, V.G.
Published: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
by: Popov, O.V., et al.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)