{“id”：“https://openalex.org/W3184673994“，”doi“：”https://doi.org/10.1007/978-3-030-81688-9_38“，”title“：”Gillian，第二部分：JavaScript和C的Real-World验证“，”display_name“：”吉莉安，第二部：JavaScript与C的Reall-World检验“，”publication_year“：2021，”publiation_date“：”2021-01-01“，”ids“：{”openalex“：”https://openalex.org/W3184673994“，”doi“：”https://doi.org/10.1007/978-3-030-81688-9_38“，”mag“：”3184673994“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-81688-9_38，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_38.pdf，“源”：{“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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”book-chapter“，”type_crossref“：“book-chapper”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”hybrid“，”oa_url“：”https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_38.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5067580631“，”display_name“：”Petar Maksimovi\u0107“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Petar Maksimovi\u0107“，”raw _ afiliation_strings“：【”英国伦敦帝国理工学院“】，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦皇家学院“，”institution_ids“：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043302983“，”display_name“：”Sacha-\u00c9lie Ayoun“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Sacha-\u00c9lie Ayoun“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]，”affiliations“：[{”raw _affiliation_strong“：”英国伦敦帝国学院”，“institution_ids”：[“https://openalex.org/I47508984“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5061566620“，”display_name“：”Jos\u00e9 Augusto Rodrigues dos Santos“，”orcid“：”https://orcid.org/0000-0002-6628-1410}，“机构”：[{“id”：https://openalex.org/I121345201“，”display_name“：”工程研究所e Computeadores Investiga\u00e7\u00e 3o e Desenvolvimento“，”ror“：”https://ror.org/04mqy3p58“，”“country_code”“：”PT“，”type“：”非营利性“，”世系“：[”https://openalex.org/I121345201","https://openalex.org/I4210125590“]}，{”id“：”https://openalex.org/I141596103“，”display_name“：”里斯本大学“，”ror“：”https://ror.org/01c27hj86“，”country_code“：”PT“，”type“：“教育”，”世系“：[”https://openalex.org/I141596103“]}]，”国家“：[”PT“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9 Fragoso Santos“，”raw _affiliation_strings“：[“INESC-ID/Instituto Superior T\u00e9cnico，Universidade Lisboa，Lisbon，Portugal”]，“affiliations”：[{“raw_affiliation _string”：“INESC-ID/Instuto Supervior T\u 00e9ccnico，Universiade de Lisboo，Portugals”，“机构ID“：[”https://openalex.org/I121345201","https://openalex.org/I141596103“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5047951273“，”display_name“：”Philippa Gardner“，”orcid“：”https://orcid.org/0000-0002-4187-0585}，“机构”：[{“id”：https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]｝]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Philippa Gardner“，”raw_affiation_strings“：[”英国伦敦帝国理工学院“]，”附属机构“：[｛”raw_affiation_string“：”英国伦敦帝国理工学院“，”institution_ids“：[”https://openalex.org/I47508984“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：3，”corresponding_author_ids“：[”https://openalex.org/A5067580631“]，”对应的机构ID“：[”https://openalex.org/I47508984“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：{“value”：5000，“currench”：“EUR”，”value_ usd“:5392，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：4，“ciped_by_percentile_year”：{“min”：80，“max”：82}，biblio“：{”volume“：null，”issue“：nul，”first_page“：”827“，”last_page“：”850“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9997，”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.9997，”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/T11424“，”display_name“：”基于语言的信息流安全“，”score“：0.9996，”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.9988，“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“：”Physical Sciences“｝｝]，”keywords“：[｛”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.532199}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.519269}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.514661｝，｛”id“：”https://openalex.org/keywords/formal-verification（https://openalex.org/keywords/formal-verification）“，”display_name“：”正式验证“，”score“：0.512453}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.509929}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8874297}，{”id“：”https://openalex.org/C54483334，“wikidata”：https://www.wikidata.org/wiki/Q2005“，”display_name“：”JavaScript“，”level“：2，”score“：0.8599154}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.82535136｝，｛”id“：”https://openalex.org/C48105269，“wikidata”：https://www.wikidata.org/wiki/Q1141160“，”display_name“：”页眉“，”级别“：2，”分数“：0.63624823}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.5433955}，{”id“：”https://openalex.org/C2779639559，“wikidata”：https://www.wikidata.org/wiki/Q7661178“，”display_name“：”符号执行“，”level“：3，”score“：0.44038817}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.07228157}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-81688-9_38，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_38.pdf，“源”：{“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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://hdl.handle.net/1044/1/89626，“pdf_url”：http://spiral.imperial.ac.uk/bitstream/10044/1/89626/9/2021_Book_ComputerAidedVerification.pdf，“源”：{“id”：https://openalex.org/S4306401396“，”display_name“：”Spiral（伦敦帝国理工学院）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I47508984“，”“host_organization_name”：“伦敦帝国理工学院”，“host_ordanization_lineage”：[“https://openalex.org/I47508984“]，”host_organization_lineage_names“：[”伦敦帝国理工学院“]，“type”：“repository”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-030-81688-9_38，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-030-81688-9_38.pdf，“源”：{“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“，”Springr Science+Business Media“]，“type”：“book series”}，“license”：“cc-by”，“licence_id”：“https://openalex.org/licenses/cc-by“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W1545681762","https://openalex.org/W1561702747","https://openalex.org/W1606177908","https://openalex.org/W1992012690","https://openalex.org/W1993255342","https://openalex.org/W2008880956","https://openalex.org/W2023035194","https://openalex.org/W2053154567","https://openalex.org/W2056951693","https://openalex.org/W2108416936","https://openalex.org/W2112172944","https://openalex.org/W2140865947","https://openalex.org/W2148687959","https://openalex.org/W2170612356","https://openalex.org/W2233169398","https://openalex.org/W2294722445","https://openalex.org/W2780323212","https://openalex.org/W2884325678","https://openalex.org/W2885626945","https://openalex.org/W2899983867","https://openalex.org/W2901454403","https://openalex.org/W2931620665","https://openalex.org/W3039319427","https://openalex.org/W3043626952","https://openalex.org/W327452528","https://openalex.org/W4237730680","https://openalex.org/W4242904834","https://openalex.org/W4256027310","https://openalex.org/W777621473“]，”related_works“：[”https://openalex.org/W630850086网址","https://openalex.org/W4372053344","https://openalex.org/W4239107164","https://openalex.org/W3200508093","https://openalex.org/W3193978431","https://openalex.org/W2189136227","https://openalex.org/W2171597999","https://openalex.org/W2063692999","https://openalex.org/W1866537546","https://openalex.org/W1146933715“]，”ngrams_url“：”https://api.openalex.org/works/W3184673994/ngrams网站“，”“abstract_inverted_index”：{“抽象”：[0]，“我们”：[1,55]，“介绍”：[2]，“验证”：[3,78]，“基于”：[4]，“on”：[5,23]，“分离”：[6]，“逻辑”：[7]，“to”：[8,44]，“Gillian”：[9,42]，“a”：[10,34,45]，“多语言”：[11]，“平台”：[12]，“for”：[13,36,41,76]，“the”：[14,24]28,49,57,63,85,91]，“发展”：[15]，“的”：[16,27,48,62]，“符号”：[17]，“分析“：[18]，”工具“：[19]，”其中“：[20]，”是“：[21]，”参数“：[22]，”记忆“：[25,39,53]，”模型“：[26]，”目标“：[29]，“语言。“：[30]，“我们的”：[31]，“工作”：[32]，“开发”：[33]，“方法论”：[35]，“构造”：[37]，“组合”：[38]，“模型”：[40]，“领先”：[43]，“统一”：[46]，“表示”：[47]，“JavaScript”：[50,58,86]，“和”：[51,59,80,87]，“C”：[52,60,92]，“模式”。“：[54]，“验证”：[56]，“实现”：[61]，“AWS”：[64]，“加密”：[65]，“SDK”：[66]，“消息”：[67]，“标头”：[68]，“反序列化”：[69]，“模块”：[70]，“具体”：[71]，“设计”：[72]，“通用”：[73]，“抽象”：[74]，“使用过的”：[75]，“两者”：[77]，“任务”：[79]，“查找”：[81]，“两个“：[82]，”错误“：[83,89]，”in“：[84,90]，”three“：[88]，”实现。“：[93]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3184673994“，”counts_by_year“：[{”年份“：2023，”cited_by_count“：2}，{”年“：2022，”ciped_by_cunt“：1}，”{“年份”：2021，“cited_by_count”：1}]，”更新日期“：”2024-06-15T10:53:19.294018“，”创建日期“：“2021-08-02”}