Version of Varanus submitted to TAROS 2025.
Requires Python 2 and FDR 4.
Varanus synthesises its oracle (from a CSP specification) in roughly linear time and checks each event in constant time. In the rover case study we use in the paper, the mean event checking time was ∼0.0004s, indicating that Varanus introduces minimal overhead and is suitable for online RV.