Application of Formal Verification Methods in a Safety-Oriented Software Development Life Cycle. - Oleg Odarushchenko; Oleksiy Striuk; Viacheslav Shamanskyi; Oleksandr A. Letychevskyi; Aleksandr Ivasiuk; Elena Odarushchenko (DESSERT, 2023)