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’...
Збережено в:
| Дата: | 2015 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/70 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
Optimization problems solution for queuing systems with failure under uncertainty
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
за авторством: Kopytchuk, M.B., та інші
Опубліковано: (2025)
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)
за авторством: Ведь, Е. В.
Опубліковано: (2016)
Modeling the kinetics of reaction of CO oxidation at the solid surface of the catalyst
за авторством: Ведь, Е. В.
Опубліковано: (2016)
за авторством: Ведь, Е. В.
Опубліковано: (2016)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
The operating model of communicative informations systems
за авторством: Zubenko, V.V.
Опубліковано: (2025)
за авторством: Zubenko, V.V.
Опубліковано: (2025)
Complexity analysis of multidigit multiplication operation for implementtation in parallel computational model
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)
за авторством: Tereshchenko, A.N.
Опубліковано: (2017)
The constructional knowledge of sets and their properties
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)
Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)
Application of Petri component nets in the checking task of parallel distributed systems
за авторством: Lukyanova, E.A.
Опубліковано: (2025)
за авторством: Lukyanova, E.A.
Опубліковано: (2025)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2015)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
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
за авторством: Kuksa, A.I.
Опубліковано: (2015)
за авторством: Kuksa, A.I.
Опубліковано: (2015)
Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)
Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Semantic web and Wiki-systems
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
за авторством: Glibovets, A.M., та інші
Опубліковано: (2025)
Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
Multi-threaded computer calculations in the considered nonlinear dynamic systems
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)
за авторством: Lazarenko, S.V., та інші
Опубліковано: (2025)
Error correcting code based on finite automaton and representation of numbers in the two-base numeration system
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
за авторством: Zavadskyi, I.O.
Опубліковано: (2025)
Portfolio model for decision process concerning organizational change management
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
за авторством: Slabospitskaya, O.A.
Опубліковано: (2017)
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Software technology for conducting simulation experiments with mathematical models of physiological systems
за авторством: Aksnova, T.V.
Опубліковано: (2018)
за авторством: Aksnova, T.V.
Опубліковано: (2018)
Interactive method for cumulative analysis of software formal models behavior
за авторством: A. Kolchin
Опубліковано: (2018)
за авторством: A. Kolchin
Опубліковано: (2018)
Medical-physiological simulators: the necessity and problems
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
Software simulator of the pancreas
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
Tools for Verifying Classical and Quantum Superintegrability
за авторством: Kalnins, E.G., та інші
Опубліковано: (2010)
за авторством: Kalnins, E.G., та інші
Опубліковано: (2010)
A software simulator of an aerobic cell responses to energy disbalance
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
за авторством: Grygoryan, R.D., та інші
Опубліковано: (2025)
Simulation of optimal pursuit strategies with simple motion
за авторством: Pashko, S.V.
Опубліковано: (2023)
за авторством: Pashko, S.V.
Опубліковано: (2023)
The Auditor's Evaluation of the Enterprise's Internal Control System when Verifying the Compliance with the Principle of Continuity
за авторством: S. V. Selishchev
Опубліковано: (2019)
за авторством: S. V. Selishchev
Опубліковано: (2019)
Formal model of scientific publication
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
за авторством: Reznichenko, V.A., та інші
Опубліковано: (2015)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Formal foundations for software model to model transformation operation
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
за авторством: Chebanyuk, O.V.
Опубліковано: (2018)
Mathematical modeling of verifying the coatings of construction units on the base of singular integral equations
за авторством: A. V. Usov, та інші
Опубліковано: (2010)
за авторством: A. V. Usov, та інші
Опубліковано: (2010)
Multiagent modeling of sequential multiunit japanese auctions
за авторством: Yalovets, A.L.
Опубліковано: (2018)
за авторством: Yalovets, A.L.
Опубліковано: (2018)