Researcher Purandare develops new modular improvements for software verification
Purandare is building an open-source framework called OPTMOP to make runtime verification easier and faster for developers. This tool will allow plugging in optimizations without manual effort, helping find bugs earlier and improve software quality. It aims to make verification a practical everyday engineering tool. 💻🔧🛠