{"id":2386,"date":"2023-08-03T16:09:42","date_gmt":"2023-08-03T07:09:42","guid":{"rendered":"https:\/\/group-mmm.org\/eratommsd\/?p=2386"},"modified":"2023-08-04T10:10:25","modified_gmt":"2023-08-04T01:10:25","slug":"distinguished-paper-award%e5%8f%97%e8%b3%9e","status":"publish","type":"post","link":"https:\/\/group-mmm.org\/eratommsd\/ja\/distinguished-paper-award%e5%8f%97%e8%b3%9e\/","title":{"rendered":"Distinguished paper award \u53d7\u8cde"},"content":{"rendered":"\n<h2 class=\"wp-block-heading\">\u90e1\u8309\u53cb\u5b50\uff0c\u84ee\u5c3e\u4e00\u90ce\u3089\u306e\u8ad6\u6587\u304c 35th International Conference on Computer Aided Verification \u306b\u3066 \u201cDistinguished paper award\u201d \u3092\u53d7\u8cde<\/h2>\n\n\n\n<p>\u53d7\u8cde\u8005<br>Mayuko Kori (\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240\u30fb\u7dcf\u5408\u7814\u7a76\u5927\u5b66\u9662\u5927\u5b66)<br>Flavio Ascari (University of Pisa)\u00a0<br>Filippo Bonchi (University of Pisa)\u00a0<br>Roberto Bruni (University of Pisa)\u00a0<br>Roberta Gori (University of Pisa)\u00a0Ichiro Hasuo (\u56fd\u7acb\u60c5\u5831\u5b66\u7814\u7a76\u6240)<\/p>\n\n\n\n<p>\u53d7\u8cde\u8ad6\u6587\u30bf\u30a4\u30c8\u30eb<br><strong>Exploiting Adjoints in Property Directed Reachability Analysis<\/strong><\/p>\n\n\n\n<figure class=\"wp-block-image size-large\"><img loading=\"lazy\" decoding=\"async\" width=\"791\" height=\"1024\" src=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-791x1024.jpg\" alt=\"\" class=\"wp-image-2384\" srcset=\"https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-791x1024.jpg 791w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-232x300.jpg 232w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-768x994.jpg 768w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-1187x1536.jpg 1187w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints-1583x2048.jpg 1583w, https:\/\/group-mmm.org\/eratommsd\/wp-content\/uploads\/2023\/08\/CAV-Distinguished-Paper-Adjoints.jpg 1700w\" sizes=\"auto, (max-width: 791px) 100vw, 791px\" \/><\/figure>\n\n\n\n<p>\u90e1\u8309\u53cb\u5b50\u306fERATO MMSD \u30d7\u30ed\u30b8\u30a7\u30af\u30c8\u306e\u30ea\u30b5\u30fc\u30c1\u30a2\u30b7\u30b9\u30bf\u30f3\u30c8\uff08\u30b0\u30eb\u30fc\u30d7\uff10\uff09\u3067\u3059\u3002\u5f7c\u5973\u306f<a href=\"https:\/\/www.nii.ac.jp\/graduate\/\">\u7dcf\u7814\u5927\u60c5\u5831\u5b66\u5c02\u653b<\/a>\u306e\u535a\u58eb\u8ab2\u7a0b\u306b\u5728\u5b66\u4e2d\u3067\u3042\u308a\uff0c\u65e5\u672c\u5b66\u8853\u632f\u8208\u4f1a\u7279\u5225\u7814\u7a76\u54e1\uff08DC\uff09\u3067\u3082\u3042\u308a\u307e\u3059\uff0e<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u90e1\u8309\u53cb\u5b50\uff0c\u84ee\u5c3e\u4e00\u90ce\u3089\u306e\u8ad6\u6587\u304c 35th International Conference on Computer Aided Verification \u306b\u3066 \u201cDistinguished paper award\u201d \u3092\u53d7\u8cde &hellip; <a href=\"https:\/\/group-mmm.org\/eratommsd\/ja\/distinguished-paper-award%e5%8f%97%e8%b3%9e\/\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">Distinguished paper award \u53d7\u8cde<\/span><\/a><\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_locale":"ja","_original_post":"https:\/\/group-mmm.org\/eratommsd\/?p=2386","footnotes":""},"categories":[1],"tags":[],"class_list":["post-2386","post","type-post","status-publish","format-standard","hentry","category-1","ja"],"_links":{"self":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2386","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/comments?post=2386"}],"version-history":[{"count":3,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2386\/revisions"}],"predecessor-version":[{"id":2397,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/posts\/2386\/revisions\/2397"}],"wp:attachment":[{"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/media?parent=2386"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/categories?post=2386"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/group-mmm.org\/eratommsd\/wp-json\/wp\/v2\/tags?post=2386"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}