Buchumschlag

Optimization of checking the feasibility of transitions when verifying formal models

Transitions feasibility analysis becomes a significant part of operation time of verification tools for formal models of programs, which control flow is expressed implicitly. This paper describes a new method of model checking performance improvement. The main idea is a localization of a transition’...

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Problems in programming

Ähnliche Einträge

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

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

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

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

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
von: Ведь, Е. В.
Veröffentlicht: (2016)

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)

Optimization problems solution for queuing systems with failure under uncertainty
von: Kopytchuk, M.B., et al.
Veröffentlicht: (2025)

The constructional knowledge of sets and their properties
von: Ilman, V.M., et al.
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)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

The operating model of communicative informations systems
von: Zubenko, V.V.
Veröffentlicht: (2025)

Tools for Verifying Classical and Quantum Superintegrability
von: Kalnins, E.G., et al.
Veröffentlicht: (2010)

Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
von: Tereshchenko, A.N.
Veröffentlicht: (2017)

The Auditor&#039;s Evaluation of the Enterprise&#039;s Internal Control System when Verifying the Compliance with the Principle of Continuity
von: S. V. Selishchev
Veröffentlicht: (2019)

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

Mathematical modeling of verifying the coatings of construction units on the base of singular integral equations
von: Усов, А. В., et al.
Veröffentlicht: (2016)

Mathematical modeling of verifying the coatings of construction units on the base of singular integral equations
von: Усов, А. В., et al.
Veröffentlicht: (2016)

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

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

Simulation of optimal pursuit strategies with simple motion
von: Pashko, S.V.
Veröffentlicht: (2023)

Software technology for conducting simulation experiments with mathematical models of physiological systems
von: Aksnova, T.V.
Veröffentlicht: (2018)

Portfolio model for decision process concerning organizational change management
von: Slabospitskaya, O.A.
Veröffentlicht: (2017)

Multiagent modeling of sequential multiunit japanese auctions
von: Yalovets, A.L.
Veröffentlicht: (2018)

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

Application of GIS to Systems Analysis of Environmental Health Data in Context of Risk Assessment. Part 1: General Description of the Domain and the Problems
von: Kuksa, A.I.
Veröffentlicht: (2015)

Block algorithm for Householder transformations for hybrid architecture computers
von: Popov, O.V., et al.
Veröffentlicht: (2025)

Multi-threaded computer calculations in the considered nonlinear dynamic systems
von: Lazarenko, S.V., et al.
Veröffentlicht: (2025)

Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
von: Zavadskyi, I.O.
Veröffentlicht: (2025)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Semantic web and Wiki-systems
von: Glibovets, A.M., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
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)

The Algorithm of Checking for Correctness of Spline Regression Model
von: Yu. Savkina
Veröffentlicht: (2017)