{“id”：“https://openalex.org/W2281732228“，”doi“：”https://doi.org/10.1007/978-3-662-43652-326“，”title“：“BWare项目：构建B证明义务自动验证的证明平台”，“display_name”：“BWare项目：建立B证明义务的自动验证证明平台”、“publication_year”：2014，“publication_date”：“2014-01-01”，“ids”：{“openalex”：“https://openalex.org/W2281732228“，”doi“：”https://doi.org/10.1007/978-3-662-43652-326“，”mag“：”2281732228“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-43652-326“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://inria.hal.science/hal-00998092/文档“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5061312945“，”display_name“：”David Delahaye“，”orcid“：”https://orcid.org/0000-0003-4779-1359}，“机构”：[{“id”：https://openalex.org/I4210145724“，”display_name“：”信息交流中心“，”ror“：”https://ror.org/044j5mm75“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I4210145724“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”David Delahaye“，”raw _ afiliation_strings“：[“Centre d'\u00e9tuates et de recherche en informatique et communications”]，“affiliations”：[{“raw_affiliation_string”：“Centre d’\u00e 9tuate et de reche en informatique et communications”，“institution_ids”：[”https://openalex.org/I4210145724“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5061217918“，”display_name“：”Catherine Dubois“，”orcid“：”https://orcid.org/0000-0002-9477-8109}，“机构”：[{“id”：https://openalex.org/I4210145724“，”display_name“：”信息交流中心“，”ror“：”https://ror.org/044j5mm75“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I4210145724“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Catherine Dubois“，”raw _ afiliation_strings“：[“Centre d'\u00e9tuates et de recherche en informatique et communications”]，“affiliations”：[{“raw_affiliation_strong”：“Centre d d'\u 00e9tures et de reche en infomatique et communications”，“institution_ids”：[”https://openalex.org/I4210145724“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5027356527“，”display_name“：”Claude March\u00e9“，”orcid“：”https://orcid.org/0000-0003-3035-1269}，“机构”：[{“id”：https://openalex.org/I4210119692“，”display_name“：”数值方法（中国）“，”ror“：”网址：https://ror.org/02ns8zp42“，”country_code“：”CN“，”type“：“company”，”lineage“：[”https://openalex.org/I4210119692“]}，{”id“：”https://openalex.org/I4210144804“，”display_name“：”信息实验室“，”ror“：”https://ror.org/04e3ktk27“，”country_code“：”FR“，”type“：”设施“，”沿袭“：[”https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245“]}]，”国家“：[”CN“，”FR“]，”is_corresponding“：false，”raw_author_name“：”Claude March\u00e9“，”raw _ afiliation_strings“：[“正式验证的程序、认证工具和数值计算”，”Laboratoire de Recherche en Informatique“]，“affiliations”：[{“raw_affiliation_string”：“正式验证的程序、认证工具和数值计算”，“institution_ids”：[“https://openalex.org/I4210119692“]}，{”raw_affiliation_string“：”信息实验室“，”机构ID“：[”https://openalex.org/I4210144804“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5038706453“，”display_name“：”David Mentr\u00e9“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210089619“，”display_name“：”三菱电机（法国）“，”ror“：”https://ror.org/0075b7k59“，”country_code“：”FR“，”type“：“company”，”lineage“：[”https://openalex.org/I1306287861","https://openalex.org/I4210089619","https://openalex.org/I4210133125“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”David Mentr\u00e9“，”raw _affiliation_strings“：[“三菱电机欧洲研发中心[法国]”]，”affiliations“：[{”raw _affiliation_string“：”三菱电机研发中心欧洲[法国]“，”institution_ids“：]”https://openalex.org/I4210089619“]}]}]，”countries_distinct_count“：2，”institutions_distinact_counts“：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：2.533，“has_fulltext”：false，“cited_by_count”：12，“cited_by_by_percent”ile_year“：{“最小”：88，“最大”：89}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”290“，”last_page“：”293“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9939，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9939，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9671，”subfield“：｛”id“：”https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9246，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.548486}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.521213}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.520196}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.515166}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6787754}，{”id“：”https://openalex.org/C206880738，“wikidata”：https://www.wikidata.org/wiki/Q431667“，”display_name“：”自动定理证明“，”level“：2，”score“：0.6714983}，{”id“：”https://openalex.org/C124978682，“wikidata”：https://www.wikidata.org/wiki/Q1201019网址“，”display_name“：”概念证明“，”level“：2，”score“：0.5941677}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.49638563}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.48763695}，{”id“：”https://openalex.org/C203265346，“wikidata”：https://www.wikidata.org/wiki/Q11387554“，”display_name“：”校对助理“，”level“：3，”score“：0.4817567}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.15140983}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.14009663}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.068396}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-43652-326“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://inria.hal.science/hal-00998092，“pdf_url”：https://inria.hal.science/hal-00998092/document（英文）“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/hal-00998092/file/bware_ABZ_14_.pdf，“pdf_url”：https://inria.hal.science/hal-00998092/file/bware_ABZ_14_.pdf“，”source“：null，”license“：null.，”licence_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inria.fr/hal-00998092/file/bware_ABZ_14_.pdf，“pdf_url”：https://hal.inria.fr/hal-00998092/file/bware_ABZ_14_pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/hal-00998092/document，“pdf_url”：https://hal.inia.fr/hal-00998092/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”is_oa“：true，”is-in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://inria.hal.science/hal-00998092，“pdf_url”：https://inria.hal.science/hal-00998092/document（英文）“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“，”score“：0.63}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：4，”referrenced_works“：[”https://openalex.org/W129696796","https://openalex.org/W1561838277","https://openalex.org/W182131396","https://openalex.org/W1878755246“]，”related_works“：[”https://openalex.org/W4289666903","https://openalex.org/W3026697850","https://openalex.org/W2906661256","https://openalex.org/W2888810578","https://openalex.org/W2809147512","https://openalex.org/W2213028572","https://openalex.org/W1999021815","https://openalex.org/W1965882341","https://openalex.org/W1561664087","https://openalex.org/W1524804222“]，”ngrams_url“：”https://api.openalex.org/works/W2281732228/ngrams网站“，”abstract_inverted_index“：{”We“：[0]，”introduce“：[1]，”BWare“：[2104]，”an“：[3]，”工业“：[4,27]，”研究“：[5]，”项目“：[6,75]，”that“：[7]，”aims“：[8]，”to“：[9,14,85,91]，”provide“：[10]，”a“：[11,43]，”机械化“：[12]，”框架“：[13]，”support“：[15]，“the”：[16,24,30,65,71,79,82]，“自动”：[17,50]，“验证”：[18,45,83]，“的”：[19,26,68,73103112]，“证明”：[20,87]，“义务”：[21]，“来自”：[23]，“开发”：[25]，“应用程序”：[28]，“使用”：[29]，“B”：[31]，“方法”：[32]，“和”：[33,58]，“要求”：[34]，“高”：[35]，“完整性。”：[36]，“The”：[37]，“accepted”：[38]，“methodology”：[39]，“composes”：[40]，“in”：[41,78]，“构建”：[42]，“通用”：[44]，“平台”：[46]，“依赖”：[47]，“on”：[48]，“不同”：[49]，“定理”：[51]，“证明者”，：[52]，“例如”：[53]，“如”：[54105107]，“第一”：[55]，“顺序”：[56]，“验证者”：[57]，“SMT”：[59]，“（可满足性”：[60]，“模”：[61]，“理论”：[62]，“解算器。”：[63]，“超越”：[64]，“多工具”：[66]，“方面”：[67]，“我们的”：[69]，“方法论”，：[70]，“独创性”：[72]，“这个”：[74,96]，“也”：[76]，“驻留”：[77]，“requirement”：[80]，“for”：[81]，“tools”：[84]，“produce”：[86]，“objects”，：[88]，“which”：[89]，“are”：[90]，“be”：[92]，“checked”：[93]，“independently”：[94]，“In”：/95]，“paper”：[97]，“we”：98]，“present”：[99]，“some”：[100108]，“primary”：[101]，“results”：[102]，“well”：[106]，“current“：[109]，”major“：[110]，”lines“：[111]，”work.“：[113]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2281732228“，”counts_by_year“：[{“年份”：2023，”cited_by_count“：1}，{“年度”：2019，”ciped_by_cunt“：2}，”{“年”：2018，“cited_by_count”：2]，“年份”:2017，“ciped_by_cunt”：1},{“年号”：2016，“cited_by_count”：3}，“年度”:2015，“citected_by-count”:3}]，“更新日期”：“2024-06-21T05:50.186808”，“创建日期”：“2016-06-24”}