Buchumschlag

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

Gespeichert in:

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

Institution

Problems in programming

Ähnliche Einträge

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

Generation of multipurpose formal models from legacy code
von: Potiyenko, S.V., et al.
Veröffentlicht: (2023)

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

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

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

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

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

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

Formal foundations for software model to model transformation operation
von: Chebanyuk, O.V.
Veröffentlicht: (2018)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

Application of Petri component nets in the checking task of parallel distributed systems
von: Lukyanova, E.A.
Veröffentlicht: (2025)

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

Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

Toward software artifacts ecosystem
von: Sydorov, N.A.
Veröffentlicht: (2021)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Technology system integration of hardware and software data protection
von: Alishоv, N.I., et al.
Veröffentlicht: (2025)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

A method for business logic extraction from legacy COBOL code of industrial systems
von: Guba, A.A., et al.
Veröffentlicht: (2018)

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Interactive method for cumulative analysis of software formal models behavior
von: A. Kolchin
Veröffentlicht: (2018)

Characteristics of information flows of software modules included in the software for automated support of ...
von: Borovskaya, E.N., et al.
Veröffentlicht: (2025)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

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

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

An approach to website vulnerability detection based on static and dynamic analysis
von: Popereshnyak, S.V., et al.
Veröffentlicht: (2026)

Towards ecosystem research in the software engineering
von: Sydorov, M.O.
Veröffentlicht: (2024)

Parallel distributed implementation of parallel processing simulation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)

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

Game model of user interaction in heterogeneous distributed environments
von: Ignatenko, O.P., et al.
Veröffentlicht: (2017)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
von: Krivonos, Yu.G., et al.
Veröffentlicht: (2015)