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

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)

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

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

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

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)

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)

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

About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)

About relational-object mapping technique
за авторством: Lihatsky, I.A.
Опубліковано: (2025)

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

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Algebra of algorithms with the data and forecasting of computing process
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

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

Description of parallelism in algorithms of information management systems using algebraic apparatus
за авторством: Akulovsky, V.G., та інші
Опубліковано: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
за авторством: Yatsenko, O.A.
Опубліковано: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
за авторством: Yatsenko, O.A.
Опубліковано: (2015)

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

Automated generation of parallel programs for graphics processing units based on algorithm schemes
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Completeness of invariant ideals in groups
за авторством: Banakh, T., та інші
Опубліковано: (2010)

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

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

Approach to building factories of student programs
за авторством: Aronov, A.A., та інші
Опубліковано: (2025)

Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)

Model program, systems and operational environments
за авторством: Lavrischeva, K.M.
Опубліковано: (2025)

Planar trees, free nonassociative algebras, invariants, and elliptic integrals
за авторством: Drensky, V., та інші
Опубліковано: (2008)

The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)

Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

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

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

Formalized designing and generation of parallel program for numerical weather forecasting task
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)