Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
1. Verfasser:	Potienko, S.V.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 519.686.2
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1014
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

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

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

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Optimization of checking the feasibility of transitions when verifying formal models
von: Kolchin, A.V.
Veröffentlicht: (2015)

Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
von: Levchenko, R.I., et al.
Veröffentlicht: (2026)

Symbolic modeling of basic protocols systems with arbitrary number of agents
von: Potiyenko, S.V.
Veröffentlicht: (2013)

Symbolic Modeling of Basic Protocols Systems with Arbitrary Number of Agents
von: S. V. Potiyenko
Veröffentlicht: (2013)

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

Forward and backward electron emission in binary cell of radioisotope current source
von: Kononenko, S.I., et al.
Veröffentlicht: (2015)

α-particle induced forward-backward electron emission from titanium nitride
von: Zhurenko, V.P., et al.
Veröffentlicht: (2018)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

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

The operating model of communicative informations systems
von: Zubenko, V.V.
Veröffentlicht: (2025)

Method for parallelizing nonlinear tasks
von: Paulin, O.N., et al.
Veröffentlicht: (2026)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

The constructional knowledge of sets and their properties
von: Ilman, V.M., et al.
Veröffentlicht: (2025)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
von: Tereshchenko, A.N.
Veröffentlicht: (2017)

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

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

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

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

Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)

Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

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

Software technology for conducting simulation experiments with mathematical models of physiological systems
von: Aksnova, T.V.
Veröffentlicht: (2018)

Models and methods of analytical support for strategic management decision-making
von: Ilina, E.P., et al.
Veröffentlicht: (2015)

Neuro-symbolic approach for the biological systems and processes research
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)

Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants
von: Iwaniak, M., et al.
Veröffentlicht: (2013)

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

Parallel implementation of directed search processes for optimal solutions
von: Pepelyaev, V.A., et al.
Veröffentlicht: (2026)

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

Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Some aspects of formalization of an architectural development cycle of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2026)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

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