Satisfiability For Symbolic Verification in VRS

Satisfiability For Symbolic Verification in VRS

Збережено в:

Бібліографічні деталі
Дата:	2013
Автори:	A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Формат:	Стаття
Мова:	English
Опубліковано:	2013
Назва видання:	Control Systems and Computers
Онлайн доступ:	http://jnas.nbuv.gov.ua/article/UJRN-0000308390
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Library portal of National Academy of Sciences of Ukraine \| LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS

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

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

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

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

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

Problem of identity: massivization vrs. individualization
за авторством: L. A. Usanova
Опубліковано: (2017)

Свойства предикатного трансформера системы VRS
за авторством: Летичевский, А.А., та інші
Опубліковано: (2010)

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

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

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

Groups satisfying certain rank conditions
за авторством: M. R. Dixon, та інші
Опубліковано: (2016)

Groups satisfying certain rank conditions
за авторством: Dixon, M.R., та інші
Опубліковано: (2016)

Reoptimization of 2-criteria satisfiability problem
за авторством: V. O. Mykhailiuk, та інші
Опубліковано: (2018)

On generalized derivations satisfying certain identities
за авторством: Albaş, E.
Опубліковано: (2011)

Задача проверки Т-выполнимости для логического языка VL1 системы VRS
за авторством: Тимофеев, В.Г.
Опубліковано: (2012)

On associative algebras satisfying the identity x⁵=0
за авторством: Shestakov, I., та інші
Опубліковано: (2004)

APS C++ User's Library
за авторством: Letichevsky, A., та інші
Опубліковано: (2008)

On associative algebras satisfying the identity \(x^5 = 0\)
за авторством: Shestakov, Ivan, та інші
Опубліковано: (2018)

The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
за авторством: V. L. Makarov
Опубліковано: (2020)

Symbolic enclaves and change of symbolic universums
за авторством: A. Shulga
Опубліковано: (2015)

Construction of solutions of the Laplace equation satisfying the no-slip condition on the segment of the sphere
за авторством: Ya. Barniak
Опубліковано: (2013)

The structure of infinite dimensional linear groups satisfying certain finiteness conditions
за авторством: Munoz-Escolano, Jose M., та інші
Опубліковано: (2018)

The world experience of the institution of trust to the quality of satisfying the people's needs
за авторством: S. H. Batazhok
Опубліковано: (2011)

The structure of infinite dimensional linear groups satisfying certain finiteness conditions
за авторством: Jose M. Munoz-Escolano, та інші
Опубліковано: (2009)

Virtual Reference Services as a Tool to Satisfy the Information Needs of Users
за авторством: O. Postelzhuk
Опубліковано: (2015)

Verification of the hypotheses on the equality of densities of distributions
за авторством: P. K. Babilua, та інші
Опубліковано: (2016)

Symbolic enclaves and change of symbolic universums
за авторством: O. Shulha
Опубліковано: (2015)

Verification and validation: process VS procedure
за авторством: V. L. Demekhin, та інші
Опубліковано: (2013)

Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
за авторством: Yuryk, I.I.
Опубліковано: (2018)

Boundary extension of mappings that satisfy the Poletsky inverse inequality in terms of prime ends
за авторством: Ye. O. Sevostianov
Опубліковано: (2021)

Invariant solutions of a system of Euler equations that satisfy the Rankine—Hugoniot conditions
за авторством: I. I. Yuryk
Опубліковано: (2018)

Approximate solution of a boundary value problem for controllable systems satisfying a rank condition
за авторством: V. V. Grushkovskaja, та інші
Опубліковано: (2014)

Практика створення в Україні інформаційно-вимірювальної GNSS-системи та мережної VRS-технології забезпечення геодезичних і кадастрових зйомок
за авторством: Яцків, Я.С., та інші
Опубліковано: (2009)

The logic of verification of knowledge in the arguments of neopositivism
за авторством: L. H. Komakha
Опубліковано: (2015)

Using of numerical modeling for verification of the functional hypothesis
за авторством: Sokolovsky, A.I., та інші
Опубліковано: (2007)

Pseudostarlike, pseudoconvex and close-to-pseudoconvex dirichlet series satisfying differential equations with exponential coefficients
за авторством: O. M. Holovata, та інші
Опубліковано: (2018)

Laplace equation solutions that satisfy the zero Neumann condition on a segment of a sphere
за авторством: Ya. Barniak
Опубліковано: (2015)

A two-point problem for systems satisfying a controllability condition with second order Lie brackets
за авторством: V. V. Grushkovskaja, та інші
Опубліковано: (2015)

Fixed-Point Results on Complete G-Metric Spaces for Mappings Satisfying an Implicit relation of New Type
за авторством: V. Popa, та інші
Опубліковано: (2013)

Fixed-Point Results on Complete G-Metric Spaces for Mappings Satisfying an Implicit relation of New Type
за авторством: Popa, V., та інші
Опубліковано: (2013)

Model of information object for digital library and its verification
за авторством: O. V. Novytskyi, та інші
Опубліковано: (2020)