Oleksiy Striuk

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Safety Critical

Software Maintenance

Formal Verification

Top Venues

Publications

Oleg Odarushchenko, Oleksiy Striuk, Viacheslav Shamanskyi, Oleksandr A. Letychevskyi, Aleksandr Ivasiuk, Elena Odarushchenko
Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. DESSERT (2023)
Oleg Odarushchenko, Oleksiy Striuk, Kostiantyn Leontiiev, Elena Odarushchenko
Software Fault Insertion Testing for SIL Certification of Safety PLC-Based System. DESSERT (2020)