@misc{indiciae28a316c04c70,
  title = {A Survey on Formal Verification Approaches for Dependable Systems},
  author = {Fayhaa Hameedi Khlaif and Shawkat Sabah Khairullah},
  year = {2022},
  url = {https://arxiv.org/abs/2204.12913},
  note = {Source identifier: 2204.12913}
}