Bits & Bytes: Purandare creating new 'pluggable' improvements to runtime verification technology

Purandare creating new 'pluggable' improvements to runtime verification technology

Rahul PurandareWith support from the National Science Foundation and its Formal Methods in the Field (FMitF) initiative, Associate Professor Rahul Purandare will streamline runtime verification of programs with new optimization tools and techniques compatible with both new and existing open-source frameworks. Continue reading…

More details at: https://computing.unl.edu/news/purandare-creating-new-pluggable-improvements-runtime-verification-technology/
 
Originally published July 30, 2025 - Submit an Item