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

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras

The problem of generating program invariants on free algebras is considered. Modern provers need program invariants as input to get more relevant results for software verification. Implementation of iterative algorithm for generating invariants on absolutely free algebras is presented. We show that...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2015
Автор:	Maksymets, O.M.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:	UDC 51.681.3
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/73
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

Development and substantiation of algorithms based on semantic properties
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)

Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
за авторством: Krivoi, S.L., та інші
Опубліковано: (2015)

Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)

Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)

Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)

Encryption system based on abelian groups and rings
за авторством: Kryvyi, S.L.
Опубліковано: (2020)

Primitive programing algebra: general approfch to a problem of functional completeness
за авторством: Yahanov, P.O., та інші
Опубліковано: (2015)

Geodesic completeness of the left-invariant metrics on RHn
за авторством: S. Vukmirovic, та інші
Опубліковано: (2020)

Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)

Certain invariants of generic matrix algebras
за авторством: Öğüşlü, Nazar Ş., та інші
Опубліковано: (2024)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2017)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Automated design of OpenCL programs based on algebra-algorithmic approach
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2019)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)

Design of a terrain surface visualization program using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2019)

Ontological and algebra-algorithmic tools for automated design of parallel programs for cloud platforms
за авторством: A. E. Doroshenko, та інші
Опубліковано: (2017)

Search for identical regions in images using invariant moments
за авторством: Yu. Sabelnikov, та інші
Опубліковано: (2021)

A complete set of conservation laws of dyons with the Clifford-octonion algebra
за авторством: B. C. Chanyal
Опубліковано: (2017)

A complete set of conservation laws of dyons with the Clifford-octonion algebra
за авторством: B. C. Chanyal
Опубліковано: (2017)

On some commutative invariants of modules over minimax nilpotent groups
за авторством: Tushev, A.V.
Опубліковано: (2022)

On some commutative invariants of modules over minimax nilpotent groups
за авторством: A. V. Tushev
Опубліковано: (2022)

The relations for Poincarй series of algebras of invariants of binary forms
за авторством: N. B. Ilash
Опубліковано: (2021)

The generalized path algebras over standardly stratified algebras
за авторством: Wang, Shugui
Опубліковано: (2018)

Schemes of complete averaging in the problem of optimal control over a functional-differential system
за авторством: O. D. Kichmarenko
Опубліковано: (2018)

Simulation and genetic optimization of control systems by LabVIEW programming
за авторством: Zherebko, V.A., та інші
Опубліковано: (2018)

U.S. trade policy – time to start over (in Ukrainian)
за авторством: Dzh. Foks
Опубліковано: (2017)

U.S. trade policy – time to start over (in Russian)
за авторством: Dzh. Foks
Опубліковано: (2017)

Measuring the equivalent dose rate over the Shelter object after completion of the New Safe Confinement
за авторством: M. V. Saveliev, та інші
Опубліковано: (2020)

Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)

Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
за авторством: Ovdii, O.M.
Опубліковано: (2019)