Varanus: Runtime Verification for CSP

Matt Luckcuck, Angelo Ferrando, Fatma Faruq

Autonomous systems are often used in changeable and unknown environments, where traditional verification may not be suitable. Runtime Verification (RV) checks events performed by a…