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. In 13th International Conference on Dependable Systems, Services and Technologies, DESSERT 2023, Athens, Greece, October 13-15, 2023. pages 1-6, IEEE, 2023. [doi]
Abstract is missing.