View of A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker

Return to Article Details A Proposed Formal Verification Model for Card-controlled Doors Using PROMELA with SPIN Model Checker Download Download PDF