Buchumschlag

Use of methods of algebraic programming for the formal verification of legal acts

This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a set of special rules. Verification is provided by means of algebraic programming...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
Hauptverfasser:	Peschanenko, V.S., Poltoratskiy, M.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2018
Schlagworte:	law algebraic programming legal requirements algebra of behavior UDC 004.2 004.4
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/272
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

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

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
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)

Stability and monotonicity of programs for structural data transformations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

Рaradigms of programming assembling type in software engeneering
von: Lavrischeva, E.M.
Veröffentlicht: (2025)

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

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

Formal and adaptive methods and software tools of parallel programming
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2018)

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

V.M. Glushkov Kyiv School of Programming
von: Andon, P.I.
Veröffentlicht: (2025)

Partial evaluation in insertion modeling system
von: Peschanenko, V.S.
Veröffentlicht: (2025)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

On the issue of automating the workflow design based on algebra-algorithmic and ontological tools
von: Ovdii, O.M.
Veröffentlicht: (2019)

Technological model for the process of adaptive Web service composition engineering and exploiting
von: Slabospitskaya, О.A.
Veröffentlicht: (2017)

Analysis of storage and display frameworks based on aspect-oriented technologies
von: Glybovets, M.M., et al.
Veröffentlicht: (2025)

Renaissance of actor model application to the development of parallel and distributed systems
von: Glybovets, M.M., et al.
Veröffentlicht: (2017)

Creation of design methods for the CUDA hardware and software platform
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Managing scientific workflows in grid systems
von: Tverdokhlib, E.M., et al.
Veröffentlicht: (2025)

Research of the synchronization patterns and their use in GPGPU
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Principles of modeling GPGPU-applications using Petri nets
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Using Petri nets to design parallel applications
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2025)

Compositional-nominative logics over hierarchical data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2026)

Information technology for the development and analysis of models of subject areas for their study
von: Lyubchenko, V.V.
Veröffentlicht: (2015)

Simple non-deterministic rewriting in verification
von: Letichevsky, A.A., et al.
Veröffentlicht: (2026)

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

Validation of correctness of autotuning code transformations with rewriting rules technique
von: Ivanenko, P.A.
Veröffentlicht: (2020)

Automated generation of programs for a class of parametric neuroevolution algorithms
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2023)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

Gentle \(m\)-Calabi-Yau tilted algebras
von: Garcia Elsener, A.
Veröffentlicht: (2020)

Gram matrices and Stirling numbers of a class of diagram algebras, I
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

Gram matrices and Stirling numbers of a class of diagram algebras, II
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

On solvable \(Z_3\)-graded alternative algebras
von: Goncharov, Maxim
Veröffentlicht: (2016)

Digital twins in intrusion detection systems based on deep learning
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2025)

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

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

On decompilation of VLIW executable files
von: Jakub, K.
Veröffentlicht: (2017)

Ideally finite Leibniz algebras
von: Kurdachenko, L. A., et al.
Veröffentlicht: (2023)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
von: Kosakowska, Justyna
Veröffentlicht: (2018)