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...

Full description

Saved in:

Bibliographic Details
Date:	2015
Main Author:	Maksymets, O.M.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2015
Subjects:	UDC 51.681.3
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/73
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Development and substantiation of algorithms based on semantic properties
by: Kryvyi, S.L., et al.
Published: (2025)

Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)

Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
by: Krivoi, S.L., et al.
Published: (2015)

Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)

The algebro-logical approach to the analysis and processing of the text information
by: Palagin, O.V., et al.
Published: (2026)

Formal-logical approach to building analysis systems of knowledge in different domains
by: Palagin, O.V., et al.
Published: (2026)

Model of the "department" ecosystem
by: Kryvyi, S.L., et al.
Published: (2024)

Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)

Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)

Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)

Encryption system based on abelian groups and rings
by: Kryvyi, S.L.
Published: (2020)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)

Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

The completeness of the algorithm algebra with data
by: Akulovskiy, V.G., et al.
Published: (2018)

Software model of genetic optimizer for regular neural networks in LabVIEW
by: Zherebko, V.A.
Published: (2025)

Developing software model of neural network PID controller in LabVIEW
by: Zherebko, V.A., et al.
Published: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
by: Zherebko, V.A., et al.
Published: (2026)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)

About relational-object mapping technique
by: Lihatsky, I.A.
Published: (2025)

Fundamentals of data-based algorithm algebra
by: Akulovsky, V.G.
Published: (2026)

The completeness of the algorithm algebra with data
by: V. G. Akulovskij, et al.
Published: (2016)

The construction and transformation of operations and some algorithmic designs of algorithms’ algebra with the data
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algebra of algorithms with the data and forecasting of computing process
by: Doroshenko, A.Yu., et al.
Published: (2025)

Algorithmic algebra tools on the Web 2.0 platform
by: Iovchev, V.A., et al.
Published: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
by: Zeitlin, G.E., et al.
Published: (2026)

Description of parallelism in algorithms of information management systems using algebraic apparatus
by: Akulovsky, V.G., et al.
Published: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
by: Yatsenko, O.A.
Published: (2015)

Automated generation of parallel programs for graphics processing units based on algorithm schemes
by: Doroshenko, А.Yu., et al.
Published: (2017)

Primitive programing algebra: general approfch to a problem of functional completeness
by: P. O. Yahanov, et al.
Published: (2015)

Primitive programing algebra: general approfch to a problem of functional completeness
by: Yahanov, P.O., et al.
Published: (2015)

Completeness of invariant ideals in groups
by: Banakh, T., et al.
Published: (2010)

Completeness of invariant ideals in groups
by: Banakh, T. O., et al.
Published: (2010)

Planar trees, free nonassociative algebras, invariants, and elliptic integrals
by: Drensky, V., et al.
Published: (2008)

Programming gestures simulator with statistical modeling
by: Doroshenko, А.Yu., et al.
Published: (2017)

Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)