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

T-satisfiability test problem for the VL1 logical language of the VRS system

In this paper we give a short introduction to the satisfiability modulo theories (SMT) problem and demonstrate how the methods developed in the SMT research field can be applied in the requirement verification tool VRS, which supports insertion modelling methodology. We formalize the logical languag...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2015
Автор:	Timofeev, V.G.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2015
Теми:	UDC 004.02
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/78
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

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

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

The method of requirements prioritization in software engineering
за авторством: Nesterenko, O.V.
Опубліковано: (2024)

Security basic model for applied tasks of the distributed information system
за авторством: Rodin, Y.S., та інші
Опубліковано: (2021)

Method of information and analytical support for information security risk management of information systems
за авторством: Rodin, Y.S.
Опубліковано: (2019)

Tasks for information security risks management in making-decision process
за авторством: Rodin, Y.S.
Опубліковано: (2018)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
за авторством: Parasiuk, I.N., та інші
Опубліковано: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

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

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
за авторством: Kolesnyk, V.G.
Опубліковано: (2017)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
за авторством: Glybovets, A.M.
Опубліковано: (2025)

Descriptive logic using in Web-service problems
за авторством: Zakharova, O.V.
Опубліковано: (2017)

Software architectural design for the interactive learning of sign language
за авторством: Kryvonos, Yu.G., та інші
Опубліковано: (2025)

Automated translation from Ukrainian to sign language: algorithmic implementation
за авторством: Krak, Yu.V., та інші
Опубліковано: (2025)

Regression testing: techniques and future research directions
за авторством: Moroz, H.B., та інші
Опубліковано: (2025)

System-ontological analysis the subject area of testing integrated information security system (IISS)
за авторством: Koltyk, M.A.
Опубліковано: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Methods and ways for realization of the automated support testing of the integrated information security system
за авторством: Koltyk, M. A.
Опубліковано: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
за авторством: Guba, A.A.
Опубліковано: (2025)

Web service discovery systems in service-oriented architecture: problems and solutions
за авторством: Remarovych, S.S.
Опубліковано: (2017)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

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

Algebra for the description of data in the composite schemes of algorithms
за авторством: Akulovskiy, V.G.
Опубліковано: (2015)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Knowledge bases and description logics applications to natural language texts analysis
за авторством: Hoherchak, H.I.
Опубліковано: (2020)

Сoordinated description of algorithms within the framework of algebraic vehicle
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2025)

Embedding a family of logic languages with custom monadic unification in Scala
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2024)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
за авторством: Zakharova, O.V.
Опубліковано: (2023)

Building automated monitoring systems structural elements method MDP-planning
за авторством: Dosin, D.G., та інші
Опубліковано: (2019)

Development of integrated system of scientific periodicals based on the OJS
за авторством: Kudim, K.A., та інші
Опубліковано: (2017)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)

Constraint programming in insertion modeling system
за авторством: Letichevsky, O.A., та інші
Опубліковано: (2025)

Partial evaluation in insertion modeling system
за авторством: Peschanenko, V.S.
Опубліковано: (2025)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
за авторством: Glybovets, M.M., та інші
Опубліковано: (2017)

On reducing the level of vibration transmitted by transport to the environment
за авторством: Божко, A. Е., та інші
Опубліковано: (2015)

On reducing the level of vibration transmitted by transport to the environment
за авторством: Божко, A. Е., та інші
Опубліковано: (2015)

Managing scientific workflows in grid systems
за авторством: Tverdokhlib, E.M., та інші
Опубліковано: (2025)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
за авторством: Palagin, O.V., та інші
Опубліковано: (2025)

Modern technological aspects of decision support systems
за авторством: Churubrova, S.M.
Опубліковано: (2017)