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

• Date: 2018
• Main Authors: Peschanenko, V.S., Poltoratskiy, M.
• Format: Article
• Language: English
• Published: PROBLEMS IN PROGRAMMING 2018
• Subjects: law; algebraic programming; legal requirements; algebra of behavior; UDC 004.2; 004.4
• Online Access: https://pp.isofts.kiev.ua/index.php/ojs1/article/view/272
• Journal Title: Problems in programming

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