A Temporal Requirements Language for Deductive Verification of Process-Oriented Programs
Chernenko, Ivan, Anureev, Igor S., Garanina, Natalia O., Staroletov, Sergey M.
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Get full text
Conference Proceeding
Towards Controlled Natural Language for Event-Driven Temporal Requirements
Gnezdilova, Anna V., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E.
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Get full text
Conference Proceeding
Developing Distributed Control Software with the Reflex Language: Bottle-filling System Case Study
Anureev, Igor S., Zyubin, Vladimir E., Garanina, Natalia O., Staroletov, Sergey M.
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Get full text
Conference Proceeding
Formalization of Process-oriented Programs in poST Using Isabelle/HOL
Ishchenko, Artyom D., Anureev, Igor S., Staroletov, Sergey M., Garanina, Natalia O., Zyubin, Vladimir E.
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Published in 2023 IEEE 24th International Conference of Young Professionals in Electron Devices and Materials (EDM) (29.06.2023)
Get full text
Conference Proceeding
Semantic Classification of Event Driven Temporal Logic Requirements
Getmanova, Anastasia N., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E., Anureev, Igor S.
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Published in 2022 IEEE 23rd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2022)
Get full text
Conference Proceeding
Towards the Translation of Reflex Programs to Promela: Model Checking Wheelchair Lift Software
Ponomarenko, Anna A., Garanina, Natalia O., Staroletov, Sergey M., Zyubin, Vladimir E.
Published in 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2021)
Published in 2021 IEEE 22nd International Conference of Young Professionals in Electron Devices and Materials (EDM) (30.06.2021)
Get full text
Conference Proceeding
Grammar-Based Testing a Process-Oriented Extension of the IEC 61131-3 Structured Text Language
Staroletov, Sergey M.
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Published in 2022 International Russian Automation Conference (RusAutoCon) (04.09.2022)
Get full text
Conference Proceeding