Cover Image

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems

Saved in:

Bibliographic Details
Date:	2013
Main Author:	A. V. Kolchin
Format:	Article
Language:	English
Published:	2013
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000357633
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

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

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

Static method of consistency and completeness checking in formal model of distributed software systems
by: Kolchin, A.V., et al.
Published: (2025)

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

Interactive method for automated test suit development for formal models of software systems
by: A. V. Kolchin, et al.
Published: (2018)

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

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

Formal methods of parallel software design automation
by: Yu. Doroshenko, et al.
Published: (2020)

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

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

Modern methods and software systems of molecular modeling and application of behavior algebra
by: O. O. Letychevskyi, et al.
Published: (2022)

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

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

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
by: A. V. Kolchin, et al.
Published: (2015)

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

Software system for analyzing cloudiness based on satellite observations
by: Yu. Doroshenko, et al.
Published: (2019)

Software system for analyzing cloudiness based on satellite observations
by: Doroshenko, А.Yu., et al.
Published: (2019)

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

Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)

MOTORSOLVE SOFTWARE PACKAGE: VERIFICATION OF PARAMETERS AND CHARACTERISTICS OF THE BRUSHLESS PERMANENT MAGNET MOTOR
by: Rymsha, V. V., et al.
Published: (2019)

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

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)

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

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Methods and Models for Analyzing the Efficiency of E-commerce Systems
by: O. A. Serhiienko, et al.
Published: (2019)

Forming of the approach to verification of power system dynamic model
by: V. V. Pavlovskyi, et al.
Published: (2015)

Approach to the Choice of Supporting Cross Sections in the Interpolation Method of Models Reduction of Objects with Distributed Parameters
by: A. F. Verlan, et al.
Published: (2017)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
by: O. A. Kuchmahra, et al.
Published: (2017)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
by: T. Maslova
Published: (2018)

Design of the software for identification of the interval models of objects with distributed parameters
by: A. V. Veremchuk, et al.
Published: (2016)

Analyzing the models of systems with heterogeneous servers
by: A. Z. Melikov, et al.
Published: (2020)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

The Software Neural Network System for Monitoring Space Telemetry
by: V. V. Ganchenko, et al.
Published: (2013)

Optimization of software for autonomous measuring modules of distributed diagnostic systems
by: R. M. Sysak
Published: (2018)

Big Data analysis via model reduction methods
by: S. Zabielin
Published: (2018)

Parametric Reduction of Mathematical Models of Dynamic Systems
by: Верлань, Андрей Анатолиевич, et al.
Published: (2018)

Reduction of the complexity of models of network structures and systems
by: O. D. Polishchuk
Published: (2019)