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

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2026
Автори:	Letichevsky, A.A., Peschanenko, V.S.
Формат:	Стаття
Мова:	Англійська
Опубліковано:	PROBLEMS IN PROGRAMMING 2026
Теми:	UDC 004.41,004.51
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/870
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

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

Simple non-deterministic rewriting in verification
за авторством: Letichevsky, A., та інші
Опубліковано: (2010)

The Non-Deterministic Strategy of Rewriting
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2013)

The Non-Deterministic Strategy of Rewriting
за авторством: A. A. Letichevsky, та інші
Опубліковано: (2013)

Web service discovery systems in service-oriented architecture: problems and solutions
за авторством: Remarovych, S.S.
Опубліковано: (2017)

Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (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)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Quality evaluation of consolidated data
за авторством: Shahovska, N.B.
Опубліковано: (2019)

Methods consolidated data processing using dataspaces
за авторством: Shakhovska, N.B.
Опубліковано: (2025)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)

Static method of consistency and completeness checking in formal model of distributed software systems
за авторством: Kolchin, A.V., та інші
Опубліковано: (2025)

The application of XML-representation for data integration in petroleum geophysics
за авторством: Tulchynsky, V.G., та інші
Опубліковано: (2026)

A cluster management system for INPARCOM HPC-cluster computers
за авторством: Yushchenko, R.A.
Опубліковано: (2026)

Static analysis of .NET programs using rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2020)

Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)

Optimization of large datasets processing in cluster systems
за авторством: Nazarenko, E.V., та інші
Опубліковано: (2026)

The Models of DBMS benchmark
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Context term calculus for rewriting systems
за авторством: Shevchenko, R.S.
Опубліковано: (2018)

A method of tuning programs on .Net platform with rewriting rules
за авторством: Mamedov, T.A., та інші
Опубліковано: (2019)

Method of managing the execution of tasks of a multithreaded program according to a given dependency graph
за авторством: Nesterenko, K.P., та інші
Опубліковано: (2024)

Technology for optimized transmission of visuals via Internet
за авторством: Krak, Y.V., та інші
Опубліковано: (2026)

Optimization of parallel perceptron for central processing units
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Implementation the concept of adaptive broadcast system and automatic preparation of content
за авторством: Provotar, O.I., та інші
Опубліковано: (2025)

Program agents in the distributed calculations for adaptive forming and teaching of neural nets
за авторством: Shinkarenko, V.I., та інші
Опубліковано: (2026)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Satisfiability For Symbolic Verification in VRS
за авторством: A. Letichevsky, та інші
Опубліковано: (2013)

Satisfiability For Symbolic Verification in VRS
за авторством: Letichevsky, A., та інші
Опубліковано: (2013)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)

Technology system integration of hardware and software data protection
за авторством: Alishov, N.I., та інші
Опубліковано: (2026)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

Technology system integration of hardware and software data protection
за авторством: Alishоv, N.I., та інші
Опубліковано: (2025)