Cover Image

Simple non-deterministic rewriting in verification

Abstract. We discuss the non-deterministic rewriting in application for engine functions of Verification of Formal Specification (VFS) system in this paper. VFS – are tools to prove properties of systems described as formal specifications (basic protocols), such as the completeness (the system behav...

Full description

Saved in:

Bibliographic Details
Date:	2026
Main Authors:	Letichevsky, A.A., Peschanenko, V.S.
Format:	Article
Language:	English
Published:	PROBLEMS IN PROGRAMMING 2026
Subjects:	UDC 004.41,004.51
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/870
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

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

Simple non-deterministic rewriting in verification
by: Letichevsky, A., et al.
Published: (2010)

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)

Web service discovery systems in service-oriented architecture: problems and solutions
by: Remarovych, S.S.
Published: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
by: Peschanenko, V.S., et al.
Published: (2018)

Partial evaluation in insertion modeling system
by: Peschanenko, V.S.
Published: (2025)

Deductive verification of requirements for event-driven architecture
by: Letichevsky, A.A., et al.
Published: (2025)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
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)

Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Quality evaluation of consolidated data
by: Shahovska, N.B.
Published: (2019)

Methods consolidated data processing using dataspaces
by: Shakhovska, N.B.
Published: (2025)

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

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

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

The application of XML-representation for data integration in petroleum geophysics
by: Tulchynsky, V.G., et al.
Published: (2026)

A cluster management system for INPARCOM HPC-cluster computers
by: Yushchenko, R.A.
Published: (2026)

Static analysis of .NET programs using rewriting rules
by: Mamedov, T.A., et al.
Published: (2020)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Optimization of large datasets processing in cluster systems
by: Nazarenko, E.V., et al.
Published: (2026)

The Models of DBMS benchmark
by: Blazhko, A.A., et al.
Published: (2026)

Context term calculus for rewriting systems
by: Shevchenko, R.S.
Published: (2018)

A method of tuning programs on .Net platform with rewriting rules
by: Mamedov, T.A., et al.
Published: (2019)

Technology for optimized transmission of visuals via Internet
by: Krak, Y.V., et al.
Published: (2026)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
by: Nesterenko, K.P., et al.
Published: (2024)

Implementation the concept of adaptive broadcast system and automatic preparation of content
by: Provotar, O.I., et al.
Published: (2025)

Optimization of parallel perceptron for central processing units
by: Doroshenko, A.Yu., et al.
Published: (2025)

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
by: Shinkarenko, V.I., et al.
Published: (2026)

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

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
by: Palagin, O.V., et al.
Published: (2025)

Satisfiability For Symbolic Verification in VRS
by: A. Letichevsky, et al.
Published: (2013)

Satisfiability For Symbolic Verification in VRS
by: Letichevsky, A., et al.
Published: (2013)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
by: Guba, A.A.
Published: (2025)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)

Technology system integration of hardware and software data protection
by: Alishov, N.I., et al.
Published: (2026)

Development of integrated system of scientific periodicals based on the OJS
by: Kudim, K.A., et al.
Published: (2017)

Technology system integration of hardware and software data protection
by: Alishоv, N.I., et al.
Published: (2025)