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

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

Збережено в:

Бібліографічні деталі
Дата:	2018
Автори:	V. Peschanenko, M. Poltorackiy
Формат:	Стаття
Мова:	Англійська
Опубліковано:	2018
Назва видання:	Problems in programming
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000882045
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

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

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)

Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)

About one Approach for the Verification of Algebraic Computations
за авторством: Lvov, M.S.
Опубліковано: (2025)

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

Formal verification of the properties of coreferent resolution model based on decision trees
за авторством: Pogorilyy, S.D., та інші
Опубліковано: (2024)

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

The use of remote sensing metods for determination of the thermal characteristics of the Ukrainian Carpatians
за авторством: V. I. Vyshnevskyi, та інші
Опубліковано: (2017)

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)

The use of remote sensing metods for determination of the thermal characteristics of the Ukrainian Carpatthians
за авторством: Vyshnevskyi, Viktor, та інші
Опубліковано: (2017)

The Formal method of Component Basic Programming
за авторством: Grischenko, V.N.
Опубліковано: (2015)

Metodical approaches in evalution of effeciency of use and recreation on soil resources in agricultural enterprises
за авторством: P. Koreniuk, та інші
Опубліковано: (2012)

Algebraic Approach to Vulnerabilities Formalization in the Binary Code
за авторством: O. O. Letychevskyi, та інші
Опубліковано: (2019)

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

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

C# program verification problems: solution by a three-level method
за авторством: Promsky, A.V.
Опубліковано: (2008)

Dendrological park Trostyanets: metods of its plantation reconstruction
за авторством: Yu. O. Klymenko, та інші
Опубліковано: (2001)

The metod for research of isomorphism of indecomposable hypercomplex number systems
за авторством: Ja. A. Kalinovskij, та інші
Опубліковано: (2017)

Spor o metodę we wspołszesnej filozofii prawa
за авторством: Stelmach, J., та інші
Опубліковано: (2004)

The formal basic developing and testing the distributed program systems
за авторством: Lavrischeva, K.M., та інші
Опубліковано: (2025)

Formal semantics of aggregate operations of multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2025)

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

Formal and adaptive methods and software tools of parallel programming
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2017)

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
за авторством: A. V. Kolchin
Опубліковано: (2013)

Possibility of using the expert metods and systems to solve ecological safety issues at the zones of NPPS influens
за авторством: O. O. Popov, та інші
Опубліковано: (2016)

Concept and characteristics of legal acts
за авторством: O. V. Kutsipak
Опубліковано: (2014)

Formal and adaptive methods and software tools of parallel programming
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2018)

Formalized design and synthesis of parallel programs for videographic shortcuts
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Metods of nondestructive testing in the form of graphite products of pig iron
за авторством: A. I. Shevchenko, та інші
Опубліковано: (2009)

Metod for determining the indices of physical and mechanical properties of outburst seams
за авторством: D. L. Vasilev, та інші
Опубліковано: (2017)

Problematic issues in the appeal of legal acts
за авторством: V. V. Zhydetska
Опубліковано: (2014)

Cohomology and formal deformations of n-Hom–Lie color algebras
за авторством: K. Abdaoui, та інші
Опубліковано: (2023)

Metodics aspects of frost- and winter resistance evaluation of persimmon species and varieties
за авторством: T. B. Gubanova, та інші
Опубліковано: (2013)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)

Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)

Automated design and parallelization of programs for heterogeneous platforms using algebra-algorithmic tools
за авторством: Yu. Doroshenko, та інші
Опубліковано: (2020)