{"id":1158,"date":"2014-04-29T13:14:03","date_gmt":"2014-04-29T13:14:03","guid":{"rendered":"http:\/\/sites.miamioh.edu\/researchcomputing\/?page_id=1158"},"modified":"2014-04-29T13:14:03","modified_gmt":"2014-04-29T13:14:03","slug":"nusmv","status":"publish","type":"page","link":"https:\/\/sites.miamioh.edu\/researchcomputing\/nusmv\/","title":{"rendered":"NuSMV"},"content":{"rendered":"<p>A new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A new symbolic model checker for the analysis of synchronous finite-state and infinite-state systems<\/p>\n","protected":false},"author":31,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"footnotes":""},"class_list":["post-1158","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/pages\/1158","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/users\/31"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/comments?post=1158"}],"version-history":[{"count":1,"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/pages\/1158\/revisions"}],"predecessor-version":[{"id":1159,"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/pages\/1158\/revisions\/1159"}],"wp:attachment":[{"href":"https:\/\/sites.miamioh.edu\/researchcomputing\/wp-json\/wp\/v2\/media?parent=1158"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}