{"id":745,"date":"2020-11-01T11:45:00","date_gmt":"2020-11-01T11:45:00","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=745"},"modified":"2023-05-08T19:42:50","modified_gmt":"2023-05-08T18:42:50","slug":"evidence","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/projects\/evidence\/","title":{"rendered":"Evidence-FBK collaboration"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”3.22″][et_pb_row _builder_version=”3.25″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”][et_pb_column type=”4_4″ _builder_version=”3.25″ custom_padding=”|||” custom_padding__hover=”|||”][et_pb_text _builder_version=”3.27.4″ background_size=”initial” background_position=”top_left” background_repeat=”repeat”]<\/p>\n

A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.<\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.9.4″ _module_preset=”default” hover_enabled=”0″ sticky_enabled=”0″][et_pb_column _builder_version=”4.9.4″ _module_preset=”default” type=”4_4″][et_pb_text _builder_version=”4.9.4″ _module_preset=”default”]<\/p>\n

The results of the project have been published in MODELS22 and TACAS23.<\/p>\n

The additional material of the TACAS23 paper, including the kratos and ocra benchmarks can be downloaded here<\/a>.<\/p>\n

 <\/p>\n

 <\/p>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.9.4″ _module_preset=”default”][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.<\/p>\n","protected":false},"author":1,"featured_media":352,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"\n[et_pb_section][et_pb_row][et_pb_column type=\"4_4\"][et_pb_text]\n

A joint scientific study, funded by Evidence, will investigate the formal verification of safety properties of embedded software.<\/p>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n","_et_gb_content_width":"","footnotes":""},"categories":[3],"tags":[],"class_list":["post-745","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-projects","et-has-post-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/745","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\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=745"}],"version-history":[{"count":8,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/745\/revisions"}],"predecessor-version":[{"id":9216,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/745\/revisions\/9216"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media\/352"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=745"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=745"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=745"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}