, Neha Chopra, Er. Lovnish Bansal. 2015. “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 (7):4845-48. https://doi.org/10.17762/ijritcc.v3i7.4749.