Runtime Verification toolchain for generation of monitors based on the restricted Metric Temporal Logic with Durations.

A Real-Time Monitoring Library that supports runtime monitoring of safety-critical embedded systems through a lock-free and wait-free algorithm.