Buchumschlag

About one Approach for the Verification of Algebraic Computations

The approach to verification of interpreters of multi-sorted algebraic operations by their specifications, based on constructive clarification of expansion concept of multi-sorted algebraic system and provingthe axioms of algebraic system is considered. This approach is illustrated by the examples...

Ausführliche Beschreibung

Gespeichert in:

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

Institution

Problems in programming

Ähnliche Einträge

Development of integrated system of scientific periodicals based on the OJS
von: Kudim, K.A., et al.
Veröffentlicht: (2017)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

Static method of consistency and completeness checking in formal model of distributed software systems
von: Kolchin, A.V., et al.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

An approach to behavioral software models refinement using design patterns
von: Chebanyuk, O.B.
Veröffentlicht: (2025)

Formal verification of deep neural networks
von: Panchuk, B.O.
Veröffentlicht: (2024)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення
von: Chebanyuk, E.V., et al.
Veröffentlicht: (2015)

About one method of retracing on a plane
von: Yalovets, A.L.
Veröffentlicht: (2025)

One approach for advanced internet-programs creation on example of widget-programs developing
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Analysis of the computational resources of personal computers
von: Lopatkin, R.Yu., et al.
Veröffentlicht: (2017)

Formal model of scientific publication
von: Reznichenko, V.A., et al.
Veröffentlicht: (2015)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

About relationship between table algebra of infinite tables and multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2018)

Efficient increasing of the mutation score during model-based test suite generation
von: Kolchin, A., et al.
Veröffentlicht: (2020)

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

Interactive method for cumulative analysis of software formal models behavior
von: Kolchin, A.V.
Veröffentlicht: (2018)

DS-theory. The research of P-data factors formating
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

On the possibility of a systematic study of the production management systems
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Fluid models of dynamic scheduling in computer networks
von: Іgnatenko, O.P.
Veröffentlicht: (2025)

Designing of the specialized computer system for making pulmonology diagnosis
von: Komlevaya, N.O., 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)

Domain engineering approach of software requirements analysis
von: Chebanyuk, O.V., et al.
Veröffentlicht: (2020)

About one approach to automatic creation of formal queries to ontological knowledge bases
von: Palagin, O.V., et al.
Veröffentlicht: (2024)

About development of an ontological toolkit
von: Palagin, A.V., et al.
Veröffentlicht: (2015)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

The architecture and functionality of the multi-agent system Navigation
von: Yalovets, A.L.
Veröffentlicht: (2018)

DS-theory. Scientific aspects and prospects for development
von: Kolesnyk, V.G.
Veröffentlicht: (2018)

An approach of intelligent searching of information in texts
von: Chebanuyk, O.V.
Veröffentlicht: (2023)

Decision support system for quality management in study process
von: Komleva, N.O., et al.
Veröffentlicht: (2020)

Approaches to realization Yen’s algorithm for systems with the shared memory
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Method for calculating the parameters of phase transitions of discrete technological and information processes of strategic planning with parallelization of computations
von: Stepaniuk, M.Yu.
Veröffentlicht: (2025)

Conflict controlled network modeling: evolutionary games approach
von: Ignatenko, O.P., et al.
Veröffentlicht: (2019)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Approach to the building intelligent decision support systems on the basis of ontology
von: Lytvyn, V.V.
Veröffentlicht: (2025)

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)