Anasuri S. Formal Verification of Autonomous System Software. IJERET. 2022;3(1):95-104. doi:10.63282/3050-922X.IJERET-V3I1P110