Venudhar Rao Hajari et al. 2024. Innovative Techniques for Software Verification in Medical Devices. International Journal for Research Publication and Seminar. 15, 3 (Aug. 2024), 239–254. DOI:https://doi.org/10.36676/jrps.v15.i3.1488.