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: Pdf

Institution

Problems in programming

Similar Items

Similar Items