Venudhar Rao Hajari; Abhishek Pandurang Benke; Er. Om Goel; Pandi Kirupa Gopalakrishna Pandian; Dr. Punit Goel; Akshun Chhapola,. Innovative Techniques for Software Verification in Medical Devices. JRPS 2024, 15, 239-254.