Херсонський державний університет
Головна Наукометричні показники

Загальна інформація

ПІБ: Песчаненко Володимир Сергійович
Установа: Херсонський державний університет
Факультет: Комп’ютерних наук,фізики та математики
Кафедра: Кафедра інформатики,програмної інженерії та економічної кібернетики

Scopus

Дані відсутні

Google Scholar

Дані відсутні

ORCID

Дані відсутні

Web of Science

Дані відсутні

Semantic Scholar

Дані відсутні

Статті

Заголовок Scopus Google Scholar Web of Science Semantic Scholar
Algorithm and Tools for Constructing Canonical Forms of Linear Semi-Algebraic Formulas + +
The canonical forms of logical formulae over the data types and their using in programs verification + +
Use of metods of algebraic programming for the formal verification of legal acts + +
An algebraic approach for analyzing of legal requirements + +
Formalization and algebraic verification of legal requirements + +
Symbolic modelling in white-box model-based testing + +
Approach to behavior scenarios debugging + +
Generating Symbolic Traces in the Insertion Modeling System + +
An interleaving reduction for reachability checking in symbolic modeling + +
Insertion modeling and symbolic verification of large systems + +
An approach to creating concretized test scenarios within test automation technology for industrial software projects + +
Specializations in Symbolic Verification + +
SMSV Foreword + +
About one efficient algorithm for reachability checking in modeling and its implementation + +
Specializations and symbolic modeling + +
Invariants in symbolic modeling and verification of requirements + +

Співавтори

Дані відсутні