{"id":9252,"date":"2023-04-01T10:26:41","date_gmt":"2023-04-01T09:26:41","guid":{"rendered":"https:\/\/es.fbk.eu\/?p=9252"},"modified":"2023-05-10T10:27:01","modified_gmt":"2023-05-10T09:27:01","slug":"nurv","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/tools\/nurv\/","title":{"rendered":"NuRV"},"content":{"rendered":"\n<p>NuRV is an\u00a0<a href=\"https:\/\/nuxmv.fbk.eu\/\">nuXmv<\/a>\u00a0extension for Runtime Verification (RV).<\/p>\n\n\n\n<p>NuRV supports online\/offline Runtime Verification of Linear Temporal Logic (LTL) properties under assumptions given by finite- or infinite-state SMV models.<\/p>\n\n\n\n<p>NuRV can also generate finite-state monitors into standalone monitor code in C, C++, Java,\u00a0<em>Python<\/em>, Common Lisp, Prolog and LLVM IR.<\/p>\n\n\n\n<p>For further information, please refer to the\u00a0<a href=\"https:\/\/es-static.fbk.eu\/tools\/nurv\/\">NuRV\u2019s web page<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>NuRV is an\u00a0nuXmv\u00a0extension 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,\u00a0Python, Common Lisp, Prolog and LLVM IR. For further information, please refer to the\u00a0NuRV\u2019s web [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[8],"tags":[],"class_list":["post-9252","post","type-post","status-publish","format-standard","hentry","category-tools","et-doesnt-have-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/9252","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=9252"}],"version-history":[{"count":4,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/9252\/revisions"}],"predecessor-version":[{"id":9256,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/9252\/revisions\/9256"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=9252"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=9252"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=9252"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}