Приведены особенности создания формальной спецификации систем на программируемой логике. Рассмотрены примеры описания таких систем в Event-B. Предложены элементы методики формального описания и трансляции полученной спецификации в код на языке описания аппаратуры VHDL. Ключевые слова: формальные методы, Event-B, платформа Rodin, ПЛИС, VHDL.

• http://library.khai.edu/library/fulltexts/doc/REKS609/46Prohor.pdf

Радіоелектронні і комп'ютерні системи [Текст] // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — 2009.

• УДК // Математична логіка
• УДК // Надійність і точність
• Праці співробітників ХАІ // Остроумов С.Б./Ostroumov S.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• Праці співробітників ХАІ // Прохорова Ю.М./Прохорова Ю.Н.