Олександр Острянко

Магістр, аспірант

Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського»

03056, просп. Берестейський, 37, м. Київ, Україна

https://orcid.org/0009-0008-9107-425

oleksandrostrianko@outlook.com

Методи функціональної та формальної верифікації цифрових систем: теоретичний аналіз та експериментальне застосування до модулів різної складності

25.06.2026

Олександр Острянко*

oleksandrostrianko@outlook.com

  • Ключові слова апаратна логіка; тестові сценарії; аналіз покриття; властивості коректності; контрприклади; керувальні сигнали
  • DOI https://doi.org/10.31649/vitce/2.2026.132.