NURV

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.

Contacts

Website