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

• Published in: Проблеми програмування
• Date: 2018
• Main Authors: Peschanenko, V., Poltorackiy, M.
• Format: Article
• Language: English
• Published: Інститут програмних систем НАН України 2018
• Subjects: Методи та засоби програмної інженерії
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/144589
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Use of metods of algebraic programming for the formal verification of legal acts / V. Peschanenko, M. Poltorackiy // Проблеми програмування. — 2018. — № 2-3. — С. 109-114. — Бібліогр.: 10 назв. — англ.

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