ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ
| dc.contributor.author | Савчук, О. О. | |
| dc.date.accessioned | 2025-12-20T08:06:08Z | |
| dc.date.issued | 2025 | |
| dc.description | Савчук, О. О. ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ / О. О. Савчук // Магістерські студії. Альманах. - 2025. – Вип. 25. - Херсон ; Івано-Франківськ : ХДУ, 2025. | |
| dc.description.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. | |
| dc.identifier.uri | https://ekhsuir.kspu.edu/handle/123456789/21677 | |
| dc.subject | машинне навчання | |
| dc.subject | перевірка моделей | |
| dc.subject | формальна верифікація | |
| dc.subject | генерація тестів | |
| dc.subject | нейронні мережі | |
| dc.subject | machine learning | |
| dc.subject | model verification | |
| dc.subject | formal verification | |
| dc.subject | test generation | |
| dc.subject | neural networks | |
| dc.title | ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ | |
| dc.type | Article |