Trustworthy Runtime Verification via Bisimulation (Extended Experience Report)

Ryan G. Scott, Ivan Perez, Alwyn E. Goodloe +2

When runtime verification is used to monitor safety-critical systems, it is essential that monitoring code behaves correctly. The Copilot runtime verification framework pursues thi…