, Neha Chopra, Er. Lovnish Bansal. “Formal Methods for the Verification of Safety Critical Applications Using SPIN Model Checker”. International Journal on Recent and Innovation Trends in Computing and Communication 3, no. 7 (July 31, 2015): 4845–4848. Accessed May 19, 2024. https://ijritcc.org/index.php/ijritcc/article/view/4749.