Version 0.9.6

Version for the paper submitted to RAS special issue.

Adds online Runtime Verification using ROSMonitoring, and minor tweaks to the event parsing structure (not the event parsing itself, though).

Version 0.9.4

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.

Version of Varanus for FMICS

v0.88.1

Merge branch 'timingRuns'

NFM-Data

Merge branch 'mascot-data'