Cover Image

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

Saved in:

Bibliographic Details
Date:	2018
Main Authors:	V. Peschanenko, M. Poltorackiy
Format:	Article
Language:	English
Published:	2018
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000882045
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Similar Items

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

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

Algebraic approach to the analysis of legal documents
by: Letychevskyi, O.O., et al.
Published: (2023)

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

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)

Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2022)

About one Approach for the Verification of Algebraic Computations
by: Lvov, M.S.
Published: (2025)

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

Formal verification of the properties of coreferent resolution model based on decision trees
by: Pogorilyy, S.D., et al.
Published: (2024)

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

The use of remote sensing metods for determination of the thermal characteristics of the Ukrainian Carpatians
by: V. I. Vyshnevskyi, et al.
Published: (2017)

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)

The use of remote sensing metods for determination of the thermal characteristics of the Ukrainian Carpatthians
by: Vyshnevskyi, Viktor, et al.
Published: (2017)

The Formal method of Component Basic Programming
by: Grischenko, V.N.
Published: (2015)

Metodical approaches in evalution of effeciency of use and recreation on soil resources in agricultural enterprises
by: P. Koreniuk, et al.
Published: (2012)

Algebraic Approach to Vulnerabilities Formalization in the Binary Code
by: O. O. Letychevskyi, et al.
Published: (2019)

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

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

C# program verification problems: solution by a three-level method
by: Promsky, A.V.
Published: (2008)

Dendrological park Trostyanets: metods of its plantation reconstruction
by: Yu. O. Klymenko, et al.
Published: (2001)

The metod for research of isomorphism of indecomposable hypercomplex number systems
by: Ja. A. Kalinovskij, et al.
Published: (2017)

Spor o metodę we wspołszesnej filozofii prawa
by: Stelmach, J., et al.
Published: (2004)

The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)

Formal semantics of aggregate operations of multiset table algebra
by: Glushko, I.M.
Published: (2025)

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

Formal and adaptive methods and software tools of parallel programming
by: Yu. Doroshenko, et al.
Published: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
by: A. V. Kolchin
Published: (2013)

Possibility of using the expert metods and systems to solve ecological safety issues at the zones of NPPS influens
by: O. O. Popov, et al.
Published: (2016)

Concept and characteristics of legal acts
by: O. V. Kutsipak
Published: (2014)

Formal and adaptive methods and software tools of parallel programming
by: Doroshenko, А.Yu., et al.
Published: (2018)

Formalized design and synthesis of parallel programs for videographic shortcuts
by: Doroshenko, A.Yu., et al.
Published: (2025)

Metods of nondestructive testing in the form of graphite products of pig iron
by: A. I. Shevchenko, et al.
Published: (2009)

Metod for determining the indices of physical and mechanical properties of outburst seams
by: D. L. Vasilev, et al.
Published: (2017)

Problematic issues in the appeal of legal acts
by: V. V. Zhydetska
Published: (2014)

Cohomology and formal deformations of n-Hom–Lie color algebras
by: K. Abdaoui, et al.
Published: (2023)

Metodics aspects of frost- and winter resistance evaluation of persimmon species and varieties
by: T. B. Gubanova, et al.
Published: (2013)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Doroshenko, А.Yu., et al.
Published: (2020)

Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
by: Yu. Doroshenko, et al.
Published: (2020)