Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2013
1. Verfasser:	A. V. Kolchin
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2013
Schriftenreihe:	Artificial intelligence
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000357633
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

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

A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
von: Kolchin, A.V.
Veröffentlicht: (2026)

Interactive method for automated test suit development for formal models of software systems
von: A. V. Kolchin, et al.
Veröffentlicht: (2018)

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

Formal model for verification of personalized educational trajectories based on ALLOY
von: Poltoratskyi, M.Yu., et al.
Veröffentlicht: (2026)

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

Modern methods and software systems of molecular modeling and application of behavior algebra
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2022)

Features of Software Solutions in the Field of Verification and Validation of Numerical Models
von: Гейко, О. О., et al.
Veröffentlicht: (2025)

Formal methods of parallel software design automation
von: Yu. Doroshenko, et al.
Veröffentlicht: (2020)

Formal methods of parallel software design automation
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2020)

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

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

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

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2010)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

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

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

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

Semantic Space for the Verification of Economic Mathematical Models
von: V. L. Petryk
Veröffentlicht: (2013)

Use of metods of algebraic programming for the formal verification of legal acts
von: V. Peschanenko, et al.
Veröffentlicht: (2018)

Use of metods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V., et al.
Veröffentlicht: (2018)

Software system for analyzing cloudiness based on satellite observations
von: Yu. Doroshenko, et al.
Veröffentlicht: (2019)

Software system for analyzing cloudiness based on satellite observations
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2019)

Test scenarios generation based on formal model
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

Verification of the hypotheses on the equality of densities of distributions
von: P. K. Babilua, et al.
Veröffentlicht: (2016)

Methods and Models for Analyzing the Efficiency of E-commerce Systems
von: O. A. Serhiienko, et al.
Veröffentlicht: (2019)

Modeling and verification methods for application design in heterogeneous architectures
von: S. D. Pohorilyi, et al.
Veröffentlicht: (2020)

Formalism for chaotic behavior of the bunched beam
von: Parsa, Z., et al.
Veröffentlicht: (2001)

Forming of the approach to verification of power system dynamic model
von: V. V. Pavlovskyi, et al.
Veröffentlicht: (2015)

MOTORSOLVE SOFTWARE PACKAGE: VERIFICATION OF PARAMETERS AND CHARACTERISTICS OF THE BRUSHLESS PERMANENT MAGNET MOTOR
von: Rymsha, V. V., et al.
Veröffentlicht: (2019)

Analyzing the models of systems with heterogeneous servers
von: A. Z. Melikov, et al.
Veröffentlicht: (2020)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
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)

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

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
von: O. A. Kuchmahra, et al.
Veröffentlicht: (2017)

New method of analyzing wave processes in pulse generators based on lines with distributed parameters
von: Gordeev, V.S.
Veröffentlicht: (2001)

Application of Methods for Analyzing Noises in VVER Diagnostic Systems
von: V. I. Borysenko, et al.
Veröffentlicht: (2017)

Analyzing Costing Methods in the System for Management of Enterprise Income
von: V. M. Marchenko, et al.
Veröffentlicht: (2016)

Formal and Non-Formal Education in Poland in the Conditions of the European Educational Space
von: T. Maslova
Veröffentlicht: (2018)