Ryan G. Scott, Mike Dodds, Ivan Perez 0001, Alwyn E. Goodloe, Robert Dockins. Trustworthy Runtime Verification via Bisimulation (Experience Report). Proceedings of the ACM on Programming Languages, 7(ICFP):305-321, August 2023. [doi]
Abstract is missing.