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), pp. 82-100. doi: 10.25098/6.1.30.