Cover Image

Static method of consistency and completeness checking in formal model of distributed software systems

The paper describes a new method for discovering of incompleteness, inconsistency and race conditions in formal models. The method implements the properties checking basing on model transitions description, and does not traverse model state space.Prombles in programming 2014; 2-3: 145-150

Saved in:

Bibliographic Details
Date:	2025
Main Authors:	Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
Format:	Article
Language:	Russian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 004.415.5
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/705
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

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Interactive method for cumulative analysis of software formal models behavior
by: Kolchin, A.V.
Published: (2018)

An approach to behavioral software models refinement using design patterns
by: Chebanyuk, O.B.
Published: (2025)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

Generation of multipurpose formal models from legacy code
by: Potiyenko, S.V., et al.
Published: (2023)

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

Efficient increasing of the mutation score during model-based test suite generation
by: Kolchin, A., et al.
Published: (2020)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
by: Chebanyuk, E.V., et al.
Published: (2015)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
by: Kolesnyk, V.G.
Published: (2017)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

Regression testing: techniques and future research directions
by: Moroz, H.B., et al.
Published: (2025)

Formal model of scientific publication
by: Reznichenko, V.A., et al.
Published: (2015)

Formal foundations for software model to model transformation operation
by: Chebanyuk, O.V.
Published: (2018)

Application of Petri component nets in the checking task of parallel distributed systems
by: Lukyanova, E.A.
Published: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Domain engineering approach of software requirements analysis
by: Chebanyuk, O.V., et al.
Published: (2020)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

Creation of design methods for the CUDA hardware and software platform
by: Pogorilyy, S.D., et al.
Published: (2025)

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)

Рaradigms of programming assembling type in software engeneering
by: Lavrischeva, E.M.
Published: (2025)

Toward software artifacts ecosystem
by: Sydorov, N.A.
Published: (2021)

A method for business logic extraction from legacy COBOL code of industrial systems
by: Guba, A.A., et al.
Published: (2018)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Characteristics of information flows of software modules included in the software for automated support of ...
by: Borovskaya, E.N., et al.
Published: (2025)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Software and technical complex for automatic georeferencing of space system «Sich-2» remote sensing data
by: Kussul, N.M., et al.
Published: (2025)

Interactive method for cumulative analysis of software formal models behavior
by: A. Kolchin
Published: (2018)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
by: Kolesnyk, V.G.
Published: (2017)

Parallel distributed implementation of parallel processing simulation
by: Doroshenko, A.Yu., et al.
Published: (2025)

An approach to website vulnerability detection based on static and dynamic analysis
by: Popereshnyak, S.V., et al.
Published: (2026)

Method of calibration of the СOCOMO model by reduction of the basic equation
by: Batsenko, D.V.
Published: (2015)

Game model of user interaction in heterogeneous distributed environments
by: Ignatenko, O.P., et al.
Published: (2017)

Towards ecosystem research in the software engineering
by: Sydorov, M.O.
Published: (2024)

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
by: Glybovets, M.M., et al.
Published: (2017)

Hibrid approach to processing incomplete stream data in distributed real-time systems
by: Zhyliuk, Y., et al.
Published: (2025)