Cover Image

Deductive verification of requirements for event-driven architecture

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba
Format:	Article
Language:	English
Published:	2013
Series:	Problems in programming
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000016744
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

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

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

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

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

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

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

Modeling and verification methods for application design in heterogeneous architectures
by: S. D. Pohorilyi, et al.
Published: (2020)

The proof-structure of the transcendental deduction of categories
by: Yu. Fedorchenko
Published: (2015)

Experimental Verification of the Self-Driven Algorithms for Solving Max-Sum Labeling Problems
by: V. M. Krygin, et al.
Published: (2023)

Thermal hydraulics verification safety studies to support the licensing of neutron source Accelerator Driven System
by: O. V. Kukhotskyi, et al.
Published: (2020)

Deductive molecular mechanics of carbon allotropes (Review article)
by: I. V. Popov, et al.
Published: (2020)

Encoding algorithms of information objects in the code of conditional deductions
by: Matov, O. Ya., et al.
Published: (2015)

Model-driven development of digital system algorithms on programmable logic integrated circuits
by: O. O. Letychevskyi, et al.
Published: (2020)

Qubit method for deductive fault analysis of logic circuits
by: V. I. Khakhanov, et al.
Published: (2017)

The semantic model-driven service systems architecture modeling based on domain ontologies
by: A. A. Petrenko, et al.
Published: (2016)

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

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

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

Mapping business processes models from Petri nets into event-driven process chains
by: Zlatkin, S., et al.
Published: (2006)

Procedure of «zeroing» under control and restore the integrity of data objects in the code of conditional deductions
by: Mаtоv, O. Y., et al.
Published: (2015)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
by: Prihodko, P.P.
Published: (2015)

APS C++ User's Library
by: Letichevsky, A., et al.
Published: (2008)

Constraint programming in insertion modeling system
by: Letichevsky, O.A., et al.
Published: (2025)

Verification of the hypotheses on the equality of densities of distributions
by: P. K. Babilua, et al.
Published: (2016)

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

Verification and validation: process VS procedure
by: V. L. Demekhin, et al.
Published: (2013)

Verification of the hypotheses on the equality of densities of distributions
by: Babilua, P., et al.
Published: (2016)

The Typology of Events as Objects of Event Management
by: V. M. Mysyk
Published: (2020)

Model of information object for digital library and its verification
by: O. V. Novytskyi, et al.
Published: (2020)

The logic of verification of knowledge in the arguments of neopositivism
by: L. H. Komakha
Published: (2015)

Using of numerical modeling for verification of the functional hypothesis
by: Sokolovsky, A.I., et al.
Published: (2007)

The Non-Deterministic Strategy of Rewriting
by: Letichevsky, A.A., et al.
Published: (2013)

The Non-Deterministic Strategy of Rewriting
by: A. A. Letichevsky, et al.
Published: (2013)

Model of information object for digital library and its verification
by: Novitsky, A.V., et al.
Published: (2020)

Covert investigative (detective) actions: data verification
by: O. P. Vashchuk
Published: (2016)

The verification of constant preparation methodology for IMCORE code
by: Galchenko, V.V., et al.
Published: (2018)

Semantic Space for the Verification of Economic Mathematical Models
by: V. L. Petryk
Published: (2013)

Analysis of experimental statistics of intervals. Verification of interval distribution exponentiality
by: O. A. Kuchmahra, 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)