Towards Verification Reflex Programs in the Rodin Platform › Research Explorer

DOI

https://doi.org/10.1109/EDM65517.2025.11096842
Final published version

Margarita Shabanova
Natalia Garanina

Original language	English
Title of host publication	International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM
Publisher	IEEE Computer Society
Pages	1490-1495
Number of pages	6
ISBN (Print)	9781665477376
DOIs	https://doi.org/10.1109/EDM65517.2025.11096842
Publication status	Published - 8 Aug 2025
Event	2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM) - Алтай, Russian Federation Duration: 27 Jun 2025 → 1 Jul 2025 Conference number: 26 https://edm.ieeesiberia.org/

Publication series

Name	International Conference of Young Specialists on Micro/Nanotechnologies and Electron Devices, EDM
ISSN (Print)	2325-4173
ISSN (Electronic)	2325-419X

Conference

Conference	2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM)
Abbreviated title	EDM 2025
Country/Territory	Russian Federation
City	Алтай
Period	27.06.2025 → 01.07.2025
Internet address	https://edm.ieeesiberia.org/

OECD FOS+WOS

1.02 COMPUTER AND INFORMATION SCIENCES

Research areas

Event-B, Reflex language, Rodin, control systems, formal verification, industrial automation, transformation rules

ID: 68938254