Зображення обкладинки

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

Збережено в:

Бібліографічні деталі
Дата:	2013
Автор:	A. V. Kolchin
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2013
Назва видання:	Artificial intelligence
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000357633
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

Схожі ресурси

Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)

Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
за авторством: Гейко, О. О., та інші
Опубліковано: (2025)

Formal methods of parallel software design automation
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2020)

Formal methods of parallel software design automation
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)

Formal foundations for software model to model transformation operation
за авторством: O. V. Chebanyuk
Опубліковано: (2018)

Modern methods and software systems of molecular modeling and application of behavior algebra
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2022)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)

Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)

Semantic Space for the Verification of Economic Mathematical Models
за авторством: V. L. Petryk
Опубліковано: (2013)

Software system for analyzing cloudiness based on satellite observations
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Software system for analyzing cloudiness based on satellite observations
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Verification of the hypotheses on the equality of densities of distributions
за авторством: Babilua, P., та інші
Опубліковано: (2016)

Modeling and verification methods for application design in heterogeneous architectures
за авторством: S. D. Pohorilyi, та інші
Опубліковано: (2020)

Formalism for chaotic behavior of the bunched beam
за авторством: Parsa, Z., та інші
Опубліковано: (2001)

MOTORSOLVE SOFTWARE PACKAGE: VERIFICATION OF PARAMETERS AND CHARACTERISTICS OF THE BRUSHLESS PERMANENT MAGNET MOTOR
за авторством: Rymsha, V. V., та інші
Опубліковано: (2019)

Methods and Models for Analyzing the Efficiency of E-commerce Systems
за авторством: O. A. Serhiienko, та інші
Опубліковано: (2019)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

An approach to behavioral software models refinement using design patterns
за авторством: Chebanyuk, O.B.
Опубліковано: (2025)

Forming of the approach to verification of power system dynamic model
за авторством: V. V. Pavlovskyi, та інші
Опубліковано: (2015)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
за авторством: O. A. Kuchmahra, та інші
Опубліковано: (2017)

Approach to the Choice of Supporting Cross Sections in the Interpolation Method of Models Reduction of Objects with Distributed Parameters
за авторством: A. F. Verlan, та інші
Опубліковано: (2017)

Analyzing the models of systems with heterogeneous servers
за авторством: A. Z. Melikov, та інші
Опубліковано: (2020)

Design of the software for identification of the interval models of objects with distributed parameters
за авторством: A. V. Veremchuk, та інші
Опубліковано: (2016)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
за авторством: T. Maslova
Опубліковано: (2018)