Hassan, Bryar Ahmad, Shko Muhammed Qader, Hawkar Saeed Ezat, Hawkar Omar Ahmed, and Hozan Khalid Hamarashid. 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):82-100. https://doi.org/10.25098/6.1.30.