{"id":13947,"date":"2023-08-30T20:34:18","date_gmt":"2023-08-30T11:34:18","guid":{"rendered":"https:\/\/www.btc-embedded.jp\/the-power-of-focus-how-to-optimize-a-model-checker-for-embedded-software-2\/"},"modified":"2023-08-30T20:34:18","modified_gmt":"2023-08-30T11:34:18","slug":"the-power-of-focus-how-to-optimize-a-model-checker-for-embedded-software-2","status":"publish","type":"post","link":"https:\/\/www.btc-embedded.jp\/ja\/the-power-of-focus-how-to-optimize-a-model-checker-for-embedded-software-2\/","title":{"rendered":"The Power of Focus – How to Optimize a Model Checker for Embedded Software"},"content":{"rendered":"","protected":false},"excerpt":{"rendered":"","protected":false},"author":1,"featured_media":13950,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"elementor_theme","format":"standard","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"categories":[1],"tags":[60],"product":[],"use_cases":[],"class_list":["post-13947","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized","tag-model-checking"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/posts\/13947","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/comments?post=13947"}],"version-history":[{"count":2,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/posts\/13947\/revisions"}],"predecessor-version":[{"id":13949,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/posts\/13947\/revisions\/13949"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media\/13950"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/media?parent=13947"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/categories?post=13947"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/tags?post=13947"},{"taxonomy":"product","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/product?post=13947"},{"taxonomy":"use_cases","embeddable":true,"href":"https:\/\/www.btc-embedded.jp\/ja\/wp-json\/wp\/v2\/use_cases?post=13947"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}