Cover Image

Satisfiability For Symbolic Verification in VRS

Saved in:

Bibliographic Details
Date:	2013
Main Authors:	A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko
Format:	Article
Language:	English
Published:	2013
Series:	Control Systems and Computers
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000308390
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

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

T-satisfiability test problem for the VL1 logical language of the VRS system
by: Timofeev, V.G.
Published: (2015)

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

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

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

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

Problem of identity: massivization vrs. individualization
by: L. A. Usanova
Published: (2017)

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

Свойства предикатного трансформера системы VRS
by: Летичевский, А.А., et al.
Published: (2010)

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)

Satisfiability of bright formulas
by: Denisov, A. S., et al.
Published: (2007)

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

Groups satisfying certain rank conditions
by: M. R. Dixon, et al.
Published: (2016)

Groups satisfying certain rank conditions
by: Dixon, M.R., et al.
Published: (2016)

Reoptimization of 2-criteria satisfiability problem
by: V. O. Mykhailiuk, et al.
Published: (2018)

Groups satisfying certain rank conditions
by: Dixon, Martyn R., et al.
Published: (2016)

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

On generalized derivations satisfying certain identities
by: Albaş, E., et al.
Published: (2011)

On Artinian rings satisfying the Engel condition
by: Evstaf’ev, R. Yu., et al.
Published: (2006)

On harmonic functions satisfying nonlocal boundary conditions
by: Eydelman, S. D., et al.
Published: (1994)

On associative algebras satisfying the identity x⁵=0
by: Shestakov, I., et al.
Published: (2004)

Symbolic enclaves and change of symbolic universums
by: A. Shulga
Published: (2015)

On associative algebras satisfying the identity \(x^5 = 0\)
by: Shestakov, Ivan, et al.
Published: (2018)

The generalized Hermite polynomials, their properties, and the differential equation which they satisfy
by: V. L. Makarov
Published: (2020)

Groups satisfying the condition of weak minimality for subgroups of derived length two
by: Onishchuk, V. A., et al.
Published: (1994)

On linear homogeneous almost periodic systems that satisfy the Favard condition
by: Tkachenko, V. I., et al.
Published: (1998)

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

Estimate for a Rearrangement of a Function Satisfying the “Reverse Jensen Inequality”
by: Korenovskii, A. A., et al.
Published: (2005)

On pairs of unbounded self-adjoint operators satisfying an algebraic relation
by: Ostrovskii, V. L., et al.
Published: (1993)

Symbolic enclaves and change of symbolic universums
by: O. Shulha
Published: (2015)

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)

On the convergence of functions from a Sobolev space satisfying special integral estimates
by: Kovalevskii, A. A., et al.
Published: (2006)

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)

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

Construction of solutions of the Laplace equation satisfying the no-slip condition on the segment of the sphere
by: Ya. Barniak
Published: (2013)

Virtual Reference Services as a Tool to Satisfy the Information Needs of Users
by: O. Postelzhuk
Published: (2015)