A Survey on Formal Verification Approaches for Dependable Systems. - Fayhaa Hameedi Khlaif; Shawkat Sabah Khairullah (CoRR, 2022)