Hassan, B.A. , Qader, S.M. , Ezat, H.S. , Ahmed , H.O. and Hamarashid, H.K. 2022. A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker . The Scientific Journal of Cihan University– Sulaimaniya. 6, 1 (May 2022), 82-100. DOI:https://doi.org/10.25098/6.1.30.