Buchumschlag

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

Gespeichert in:

Bibliographische Detailangaben
Datum:	2018
Hauptverfasser:	V. Peschanenko, M. Poltorackiy
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	2018
Schriftenreihe:	Problems in programming
Online Zugang:	http://jnas.nbuv.gov.ua/article/UJRN-0000882045
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS

Ähnliche Einträge

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

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

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

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

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

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

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

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

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

Formal verification of the properties of coreferent resolution model based on decision trees
von: Pogorilyy, S.D., et al.
Veröffentlicht: (2024)

Satisfiability For Symbolic Verification in VRS
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

Satisfiability For Symbolic Verification in VRS
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

About one Approach for the Verification of Algebraic Computations
von: Lvov, M.S.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

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

The Formal method of Component Basic Programming
von: Grischenko, V.N.
Veröffentlicht: (2015)

The use of remote sensing metods for determination of the thermal characteristics of the Ukrainian Carpatthians
von: Vyshnevskyi, Viktor, et al.
Veröffentlicht: (2017)

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

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A., et al.
Veröffentlicht: (2013)

Deductive verification of requirements for event-driven architecture
von: A. Letichevsky, et al.
Veröffentlicht: (2013)

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

Concept and characteristics of legal acts
von: O. V. Kutsipak
Veröffentlicht: (2014)

Dendrological park Trostyanets: metods of its plantation reconstruction
von: Yu. O. Klymenko, et al.
Veröffentlicht: (2001)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

Algebraic Approach to Vulnerabilities Formalization in the Binary Code
von: O. O. Letychevskyi, et al.
Veröffentlicht: (2019)

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

The metod for research of isomorphism of indecomposable hypercomplex number systems
von: Ja. A. Kalinovskij, et al.
Veröffentlicht: (2017)

Spor o metodę we wspołszesnej filozofii prawa
von: Stelmach, J., et al.
Veröffentlicht: (2004)

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

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

A method for reduction of analyzed behavior space during verification of formal models of distributed software systems
von: A. V. Kolchin
Veröffentlicht: (2013)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Metods of nondestructive testing in the form of graphite products of pig iron
von: A. I. Shevchenko, et al.
Veröffentlicht: (2009)

Problematic issues in the appeal of legal acts
von: V. V. Zhydetska
Veröffentlicht: (2014)

Metod for determining the indices of physical and mechanical properties of outburst seams
von: D. L. Vasilev, et al.
Veröffentlicht: (2017)

Formal semantics of aggregate operations of multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2025)

Institute of invalidity of legal acts: theoretical and legal aspect
von: I. S. Okuniev
Veröffentlicht: (2017)