NuRV is an nuXmv extension for Runtime Verification (RV).
NuRV supports online/offline Runtime Verification of Linear Temporal Logic (LTL) properties under assumptions given by finite- or infinite-state SMV models.
NuRV can also generate finite-state monitors into standalone monitor code in C, C++, Java, Python, Common Lisp, Prolog and LLVM IR.
For further information, please refer to the NuRV’s web page.