A Survey on Theorem Provers in Formal Methods. - M. Saqib Nawaz; Moin Malik; Yi Li 010; Meng Sun 002; Muhammad Ikram Ullah Lali (CoRR, 2019)