Venudhar Rao Hajari (2024) “Innovative Techniques for Software Verification in Medical Devices”, International Journal for Research Publication and Seminar, 15(3), pp. 239–254. doi: 10.36676/jrps.v15.i3.1488.