ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ
Date
2025
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У статті розглядається актуальна проблема застосування методів
машинного навчання для верифікації моделей у сфері комп'ютерних наук,
зокрема в розробці апаратного та програмного забезпечення.
Аналізуються сучасні підходи до динамічної верифікації, такі як генерація
тестів та виявлення помилок, з акцентом на інтеграцію машинного
навчання для підвищення ефективності. Пропонується огляд ключових
методів та перспектив їх використання.
The article examines the current issue of applying machine learning
methods for model verification in computer science, particularly in hardware
and software development. Modern approaches to dynamic verification, such as
test generation and bug detection, are analyzed, with an emphasis on integrating
machine learning to improve efficiency. An overview of key methods and
prospects for their use is provided.
Description
Савчук, О. О. ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ
МОДЕЛЕЙ / О. О. Савчук // Магістерські студії. Альманах. - 2025. – Вип. 25. - Херсон ; Івано-Франківськ : ХДУ, 2025.
Keywords
машинне навчання, перевірка моделей, формальна верифікація, генерація тестів, нейронні мережі, machine learning, model verification, formal verification, test generation, neural networks