A method for guided search and test scenarios generation in verification of formal models of asynchronous systems
A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described.Problems in...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1012 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Test scenarios generation based on formal model
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2026)
Optimization of checking the feasibility of transitions when verifying formal models
за авторством: Kolchin, A.V.
Опубліковано: (2015)
за авторством: Kolchin, A.V.
Опубліковано: (2015)
Methods of forward and backward symbolic modeling of systems specified by basic protocols
за авторством: Potienko, S.V.
Опубліковано: (2026)
за авторством: Potienko, S.V.
Опубліковано: (2026)
Backward transformation of formulas in symbolic modeling: from the result to the source formula
за авторством: Godlevsky, A.B., та інші
Опубліковано: (2026)
за авторством: Godlevsky, A.B., та інші
Опубліковано: (2026)
Automatic Dynamic Semiautomatic Parallelizing for Heterogeneous Multicomputer Systems
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)
за авторством: Levchenko, R.I., та інші
Опубліковано: (2026)
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Some aspects of formalization of an architectural development cycle of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)
Some aspects of formalization of the data and decomposition of D-operators of algebra of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)
за авторством: Akulovskiy, V.G.
Опубліковано: (2026)
Parallel implementation of directed search processes for optimal solutions
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)
за авторством: Pepelyaev, V.A., та інші
Опубліковано: (2026)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)
за авторством: A. V. Kolchin
Опубліковано: (2013)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Interactive method for cumulative analysis of software formal models behavior
за авторством: Kolchin, A.V.
Опубліковано: (2018)
за авторством: Kolchin, A.V.
Опубліковано: (2018)
The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)
Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)
The constructional knowledge of sets and their properties
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)
за авторством: Ilman, V.M., та інші
Опубліковано: (2025)
Interactive method for automated test suit development for formal models of software systems
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)
за авторством: A. V. Kolchin, та інші
Опубліковано: (2018)
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)
Construction concepts of the integrated environment architecture of generative programming
за авторством: Morentsov, Y.I.
Опубліковано: (2026)
за авторством: Morentsov, Y.I.
Опубліковано: (2026)
Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)
Method for parallelizing nonlinear tasks
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)
за авторством: Paulin, O.N., та інші
Опубліковано: (2026)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
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)
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)
Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
за авторством: Shilov, N.V., та інші
Опубліковано: (2010)
Modifications effective implementation generator tests
за авторством: Andriyanov, V.A., та інші
Опубліковано: (2026)
за авторством: Andriyanov, V.A., та інші
Опубліковано: (2026)
Some modes of asynchronous generator performance
за авторством: Ju. N. Perminov, та інші
Опубліковано: (2014)
за авторством: Ju. N. Perminov, та інші
Опубліковано: (2014)
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
за авторством: V. Peschanenko, та інші
Опубліковано: (2018)
Use of metods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V., та інші
Опубліковано: (2018)
Fundamentals of data-based algorithm algebra
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
Program identification of zeroes and features of functions on the basis of sorting with the application to the digital filtration
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)
за авторством: Romm, Ya. E., та інші
Опубліковано: (2026)
Some approaches to the control and transformation of algorithms over the analysis of the data which are specified
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
за авторством: Akulovsky, V.G.
Опубліковано: (2026)
Block algorithm for Householder transformations for hybrid architecture computers
за авторством: Popov, O.V., та інші
Опубліковано: (2025)
за авторством: Popov, O.V., та інші
Опубліковано: (2025)