{“id”：“https://openalex.org/W991151412“，”doi“：”https://doi.org/10.1007/978-3-319-21690-4_41“，”title“：“基于模型的安全分析的高效随时随地技术”，”display_name“：”基于模型的安全分析的高效随时技术“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W991151412“，”doi“：”https://doi.org/10.1007/978-3-319-21690-4_41“，”mag“：”991151412“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21690-4_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_41.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_41.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno凯斯勒，Trentoy“，Italy:[”https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5038636493“，”display_name“：”Alberto Griggio“，”orcid“：”https://orcid.org/0000-0002-3311-0893}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alberto Griggio“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5023931839“，”display_name“：”Cristian Mattarei“，”orcid“：”https://orcid.org/0000-0001-5050-896X}，“机构”：[{“id”：https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Cristian Mattarei“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}]，”countries_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：6.105，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：23，”引用标准化百分比“：{”value“：0.956186，”is_in_top_1_percent“：false，”is-in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：92，”max“：93}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“603”，“last_page”：“621”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.999，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9982，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.997，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/反例“，”display_name“：”反例“，”score“：0.67491484}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.574428}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.55377｝，｛”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.544029}，{”id“：”https://openalex.org/keywords/sensitity-analysis网站“，”display_name“：”敏感性分析“，”score“：0.530914}，{”id“：”https://openalex.org/keywords/functional安全“，”display_name“：”功能安全“，”score“：0.530669}，{”id“：”https://openalex.org/关键字/基数“，”display_name“：”基数（数据建模）“，”score“：0.49569142}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8119396}，{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.67491484}，{”id“：”https://openalex.org/C48044578，“wikidata”：https://www.wikidata.org/wiki/Q727490“，”display_name“：”可伸缩性“，”level“：2，”score“：0.613649}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”Computation“，”level“：2，”score“：0.61008126｝，｛”id“：”https://openalex.org/C177148314，“wikidata”：https://www.wikidata.org/wiki/Q170084“，”display_name“：”Generalization“，”level“：2，”score“：0.54586023}，{”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”display_name“：”属性（哲学）“，”级别“：2，”分数“：0.53783417｝，｛”id“：”https://openalex.org/C87117476，“wikidata”：https://www.wikidata.org/wiki/Q362383“，”display_name“：”基数（数据建模）“，”level“：2，”score“：0.49569142}，{”id“：”https://openalex.org/C72169020，“wikidata”：https://www.wikidata.org/wiki/Q194404“，”display_name“：”单调函数“，”level“：2，”score“：0.4864092}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.46072793}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.4510037}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.444555606｝，｛”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.44445598}，{”id“：”https://openalex.org/C124101348，“wikidata”：https://www.wikidata.org/wiki/Q172491“，”display_name“：”数据挖掘“，”level“：1，”score“：0.21138167}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395网址“，”display_name“：”数学“，”等级“：0，”分数“：0.11296618}，{”id“：”https://openalex.org/C38652104，“wikidata”：https://www.wikidata.org/wiki/Q3510521“，”display_name“：”计算机安全“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C77088390，“wikidata”：https://www.wikidata.org/wiki/Q8513“，”display_name“：”数据库“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”Philosophy“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-319-21690-4_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_41.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-3-319-21690-4_41，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-319-21690-4_41.pdf，“源”：{“id”：https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”display_name“：”和平、正义和强大的机构“，”“score”：0.61，“id”：“”https://metadata.un.org/sdg/16“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：29，”referrenced_works“：【”https://openalex.org/W143732487","https://openalex.org/W1492234230","https://openalex.org/W1521005453","https://openalex.org/W1543654202","https://openalex.org/W1549166962","https://openalex.org/W1570153265","https://openalex.org/W160223915","https://openalex.org/W1606271155","https://openalex.org/W168394658","https://openalex.org/W1889085354","https://openalex.org/W1971312707","https://openalex.org/W1975041710","https://openalex.org/W2052648921","https://openalex.org/W2055856629","https://openalex.org/W2070874614","https://openalex.org/W2089167558网址","https://openalex.org/W2115179079","https://openalex.org/W2139030423","https://openalex.org/W2155235848","https://openalex.org/W2163191232","https://openalex.org/W2166604851","https://openalex.org/W233122475","https://openalex.org/W2498600351","https://openalex.org/W2949445423","https://openalex.org/W3138459719","https://openalex.org/W4285719527","https://openalex.org/W67120322","https://openalex.org/W69467742","https://openalex.org/W949250345“]，”related_works“：[”https://openalex.org/W4389574038","https://openalex.org/W4221138709","https://openalex.org/W3204670144","https://openalex.org/W2775700832","https://openalex.org/W2587222766","https://openalex.org/W254586386","https://openalex.org/W2349952486","https://openalex.org/W2163101548","https://openalex.org/W1988934358","https://openalex.org/W1489260687“]，”abstract_inverted_index“：{“安全”：[0,26,69]，“分析”：[1,27124]，“调查”：[2]，“系统”：[3]，“行为”：[4]，“在”：[5118]，“故障”：[6]，“条件”：[7]，“它”：[8]，“是”：[9,20]，“a”：[10,41,53108]，“基本”：[11]，“步骤”：[12]，“in”：[13]，“the”：[14,32,45,56,59 65,81,96119132135146151162186193204209]，“设计”：[15]，““：[16,34,47,58110122134153188]，”复杂“：[17]，”系统“：[18]，”那“：[19,50]，”经常“：[21]，”强制“：[22]，”由“：[23144149160166]，”认证“：[24]，”程序。“：[25]，”includes“：[28]，”two“：[29]，”key“：[30]，”steps:“：[31]，”construction“：[33]，”all“：[35]，”minimal“：[36]，”cut“：[37]，”set“：[38,46]，”（MCS）“：[39]，”for“：[40,64113141]，”given“：%42]，”property“：[43]，”may“：[51]，”原因“：[52]，”失败），“：[54]，”和“：[55,88106159]，”计算“：[57,97194]，”相应的“：[60]，”概率“：[61183]，”（给定“：[62]，”可能性“：[63]，”故障）。“：[67]，”基于模型“：[68]，”分析“：[70]，”依赖“：[71]，”依靠“：[72156]，”正式“：[73]，”验证“：[74]，”到“：[75,91168178]，”进位“：[76]，”出“：[77]，”这些“：[78]，”任务。“：[79]，”“然而，”“：[80]，”可用“：[82]，”技术“：[83]，”遭受“：[84]，”来自“：[85208]，”可扩展性“：[86]，”问题“：[87]，”是“：[89]，”无法“：[90]，”提供“：[92]，”有用“：[93]，”结果“：[94]，”如果“：[95]，”确实“：[98195]，”不是“：[99130196]，”完成。“：[100]，”In“：[101]，”this“：[102]，”paper“：[103]，”we“：%104]，”investive“：[105]，”evaluate“：[107]，”family“：[109]，”IC3-based“：[111139]，”algorithms“：+112]，”MCS“：[114154189]，”computation“。“：[115]，“我们”：[116137]，“工作”：[117]，“单调性”：[120]，“假设”：[121]，“安全”：[123]，“an”：[126174180]，“附加”：[127]，“错误”：[128]，“可以”：[129]，“防止”：[131]，“违反”：[133]，“属性）。“：[136]，”specialize“：[138]，”routines“：[140]，”parameter“：[142]，”synthesis“：[143]，”optimization“：[145]，”反例“：[147]，”generalization“，”：[148]，“ordering”：[150]，”exploration“：[152]，”based“：[155]，”increating“：[157]，”cardinality“：[158]，”extracting“：161]，”indicative“：[163]，”不变量“：[164]，”build“：%165]，”IC3“：[167]，”加速“：[169]，”汇聚。“：[170]，“其他”：[171]，“增强”：[172]，“产量”：[173]，“任何时候”：[175]，“算法”，“：[176]，“能力”：[177]，“生产”：[179]，“递增”：[181]，“精确”：[182]，“估计”：[184]，“作为”：[185]，“发现”：[187]，“收益”：[190]，“偶数”：[191]，“当”：[192]，“终止。“：[197]，”A“：[198]，”彻底“：[199]，”实验“：[200]，”评估“：[201]，”清楚“：[202]，”证明“：[203]，”实质“：[205]，”进步“：[206]，”结果“：[207]，”建议“：[210]，”方法。“：[211]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W991151412“，”“counts_by_year”：[{“年份”：2022，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：7}，}“年“：2020，”“cited_by-count”“：2}，”“年”“：2019，”“cuted_by_count”（引用_by_contount）：1}.，”“年份”“：2018，”“：2015，”cited_by_count“：1}]，“updated_date”：“2024-08-15T01:30:41.305339”，“创建日期”：“2016-06-24"}