Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2015
1. Verfasser:	Timofeev, V.G.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2015
Schlagworte:	UDC 004.02
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/78
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

The method of requirements prioritization in software engineering
von: Nesterenko, O.V.
Veröffentlicht: (2024)

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

Security basic model for applied tasks of the distributed information system
von: Rodin, Y.S., et al.
Veröffentlicht: (2021)

Method of information and analytical support for information security risk management of information systems
von: Rodin, Y.S.
Veröffentlicht: (2019)

Tasks for information security risks management in making-decision process
von: Rodin, Y.S.
Veröffentlicht: (2018)

Problem of identity: massivization vrs. individualization
von: L. A. Usanova
Veröffentlicht: (2017)

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

Descriptive logic using in Web-service problems
von: Zakharova, O.V.
Veröffentlicht: (2017)

Metods of interaction and coordination in multi-agent system based on fussy logic of higher type
von: Parasiuk, I.N., et al.
Veröffentlicht: (2025)

DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Knowledge bases and description logics applications to natural language texts analysis
von: Hoherchak, H.I.
Veröffentlicht: (2020)

On reducing the level of vibration transmitted by transport to the environment
von: Божко, A. Е., et al.
Veröffentlicht: (2015)

On reducing the level of vibration transmitted by transport to the environment
von: Божко, A. Е., et al.
Veröffentlicht: (2015)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Embedding a family of logic languages with custom monadic unification in Scala
von: Shevchenko, R.S., et al.
Veröffentlicht: (2024)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
von: Glybovets, A.M.
Veröffentlicht: (2025)

System-ontological analysis the subject area of testing integrated information security system (IISS)
von: Koltyk, M.A.
Veröffentlicht: (2025)

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Regression testing: techniques and future research directions
von: Moroz, H.B., et al.
Veröffentlicht: (2025)

Methods and ways for realization of the automated support testing of the integrated information security system
von: Koltyk, M. A.
Veröffentlicht: (2025)

Reoptimization of 2-criteria satisfiability problem
von: V. O. Mykhailiuk, et al.
Veröffentlicht: (2018)

Software architectural design for the interactive learning of sign language
von: Kryvonos, Yu.G., et al.
Veröffentlicht: (2025)

Traversal of arbitrary sequences of UCM symbolic transitions for test generation
von: Guba, A.A.
Veröffentlicht: (2025)

Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
von: Zakharova, O.V.
Veröffentlicht: (2023)

Integration of the family of extended description logic languages with relational data model
von: Reznichenko, V.A., et al.
Veröffentlicht: (2018)

Automated translation from Ukrainian to sign language: algorithmic implementation
von: Krak, Yu.V., et al.
Veröffentlicht: (2025)

Algebra for the description of data in the composite schemes of algorithms
von: Akulovskiy, V.G.
Veröffentlicht: (2015)

Multiagent models based on fuzzy logic of the highest type for a high-performance environment
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

DS-theory. Presentation of canonical algorithm by means of algorithmic language
von: Kolesnyk, V.G.
Veröffentlicht: (2017)

A method for business logic extraction from legacy COBOL code of industrial systems
von: Guba, A.A., et al.
Veröffentlicht: (2018)

Web service discovery systems in service-oriented architecture: problems and solutions
von: Remarovych, S.S.
Veröffentlicht: (2017)

Logical view for construction-synthesis model of data structures
von: Shynkarenko, V.I., et al.
Veröffentlicht: (2025)

Сoordinated description of algorithms within the framework of algebraic vehicle
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2025)

Ontological similar systems for analysis of texts of natural language
von: Kryvyi, S.L., et al.
Veröffentlicht: (2018)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
von: Krivonos, Yu.G., et al.
Veröffentlicht: (2015)

Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)

Table interpretation of the temporal description logic LTLALC
von: Reznichenko, V.A., et al.
Veröffentlicht: (2023)