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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Maksymets, O.M.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	UDC 51.681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/73
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)

Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)

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

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

Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)

Encryption system based on abelian groups and rings
von: Kryvyi, S.L.
Veröffentlicht: (2020)

On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)

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

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)

Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)

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

Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Fundamentals of data-based algorithm algebra
von: Akulovsky, V.G.
Veröffentlicht: (2026)

The completeness of the algorithm algebra with data
von: V. G. Akulovskij, et al.
Veröffentlicht: (2016)

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

Algebra of algorithms with the data and forecasting of computing process
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Algorithmic algebra tools on the Web 2.0 platform
von: Iovchev, V.A., et al.
Veröffentlicht: (2026)

Environmental aspects of reprezantation knowlend in algebra of algorithmic
von: Zeitlin, G.E., et al.
Veröffentlicht: (2026)

Description of parallelism in algorithms of information management systems using algebraic apparatus
von: Akulovsky, V.G., et al.
Veröffentlicht: (2025)

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
von: Yatsenko, O.A.
Veröffentlicht: (2025)

Constraint programming in insertion modeling system
von: Letichevsky, O.A., et al.
Veröffentlicht: (2025)

Means of parametrically controlled generation of algorithms on the basis of algebra of hyperscales
von: Yatsenko, O.A.
Veröffentlicht: (2015)

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

Primitive programing algebra: general approfch to a problem of functional completeness
von: P. O. Yahanov, et al.
Veröffentlicht: (2015)

Primitive programing algebra: general approfch to a problem of functional completeness
von: Yahanov, P.O., et al.
Veröffentlicht: (2015)

Completeness of invariant ideals in groups
von: Banakh, T., et al.
Veröffentlicht: (2010)

Completeness of invariant ideals in groups
von: Banakh, T. O., et al.
Veröffentlicht: (2010)

Planar trees, free nonassociative algebras, invariants, and elliptic integrals
von: Drensky, V., et al.
Veröffentlicht: (2008)

Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)