{“id”：“https://openalex.org/W213397635“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_4“，”title“：”HyComp:基于SMT的混合系统模型检查器“，”display_name“：”HeyComp:用于混合系统的基于SMT模型检查器”，“publication_year”：2015，“publiction_date”：“2015-01-01”，“ids”：{“openalex”：“https://openalex.org/W213397635“，”doi“：”https://doi.org/10.1007/978-3-662-46681-0_4“，”mag“：”213397635“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46681-0_4“，”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、”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”：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://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_4.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“：true，”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“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：null}，”institutions“：[{”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“：”Sergio Mover“，”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/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899}，“机构”：[{“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“：”Stefano Tonetta“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler，Trento，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler，Tranto，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5017426974“]，”对应的机构ID“：[”https://openalex.org/I2277624104“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：15.928，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：56，”cited_by_percentile_year“：{”min“：97，”max“：98}，“biblio”：{“volume”：null、“issue”：nul，“first_page”：“52“，”last_page“：”67“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“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.9998，“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.9972，”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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9956，“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/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.569383}，{”id“：”https://openalex.org/keywords/hybrid-systems网站“，”display_name“：”混合系统“，”score“：0.564631}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.545502}，{”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.511787}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8604168}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.7509519}，{”id“：”https://openalex.org/C164155591，“wikidata”：https://www.wikidata.org/wiki/Q2067766“，”display_name“：”可满足性模理论“，”level“：2，”score“：0.7444033}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.7142465}，{”id“：”https://openalex.org/C2779167558，“wikidata”：https://www.wikidata.org/wiki/Q176468“，”display_name“：”过渡系统“，”level“：2，”score“：0.587023}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5369022}，{”id“：”https://openalex.org/C54732982，“wikidata”：https://www.wikidata.org/wiki/Q1415345“，”display_name“：”Modulo“，”level“：2，”score“：0.51447606}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”level“：2，”score“：0.51252985｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.50918406}，{”id“：”https://openalex.org/C168773769，“wikidata”：https://www.wikidata.org/wiki/Q1350299“，”display_name“：”可满足性“，”level“：2，”score“：0.49637014｝，｛”id“：”https://openalex.org/C190470478，“wikidata”：https://www.wikidata.org/wiki/Q2370229“，”display_name“：”不变量（物理）“，”level“：2，”score“：0.47114912｝，｛”id“：”https://openalex.org/C50897621，“wikidata”：https://www.wikidata.org/wiki/Q2665508“，”display_name“：”混合系统“，”level“：2，”score“：0.46302903}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.439792}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42562202}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.0943082}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”Physics“，”level“：0，”score“：0.0｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C37914503，“wikidata”：https://www.wikidata.org/wiki/Q156495“，”display_name“：”数学物理“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-662-46681-0_4“，”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、”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://link.springer.com/chapter/10.1007/978-3-662-46681-0_4，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_4.pdf，“源”：{“id”：https://openalex.org/S4306401913“，”display_name“：”Institutional Research Information System（University\u00e0 degli Studi di Trento）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I193223587“，”“host_organization_name”：“特伦托大学”，“host_organization_lineage”：[“https://openalex.org/I193223587“]，”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”：“http://link.springer.com/chapter/10.1007/978-3-662-46681-0_4，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-662-46681-0_4.pdf，“源”：{“id”：https://openalex.org/S4306401913“，”display_name“：”Institutional Research Information System（University\u00e0 degli Studi di Trento）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I193223587“，”“host_organization_name”：“特伦托大学”，“host_organization_lineage”：[“https://openalex.org/I193223587“]，”host_organization_lineage_names“：[”特伦托大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：38，“referrenced_works”：【”https://openalex.org/W10653132","https://openalex.org/W132127320","https://openalex.org/W136284023","https://openalex.org/W1483379332","https://openalex.org/W1490609548","https://openalex.org/W1516900991","https://openalex.org/W1521939022","https://openalex.org/W1535116423","https://openalex.org/W1546076553","https://openalex.org/W1560730347","https://openalex.org/W1565618245","https://openalex.org/W1585526574","https://openalex.org/W1689388462","https://openalex.org/W1708780353","https://openalex.org/W172589331","https://openalex.org/W1772923315","https://openalex.org/W1793594870","https://openalex.org/W1815155750","https://openalex.org/W1965965053","https://openalex.org/W1970488655","https://openalex.org/W1975041710","https://openalex.org/W1994475353","https://openalex.org/W1998778815","https://openalex.org/W1999629321","https://openalex.org/W2040716657","https://openalex.org/W2055856629","https://openalex.org/W2060095702","https://openalex.org/W2074838304","https://openalex.org/W213996327","https://openalex.org/W2144010346","https://openalex.org/W2152533774","https://openalex.org/W2160883697","https://openalex.org/W2162776653","https://openalex.org/W2176215692","https://openalex.org/W221832247","https://openalex.org/W233122475","https://openalex.org/W4238034907","https://openalex.org/W4242177437“]，”related_works“：[”https://openalex.org/W4379142300","https://openalex.org/W4312622265","https://openalex.org/W2907580149","https://openalex.org/W2578463151","https://openalex.org/W2433853642","https://openalex.org/W2275420537","https://openalex.org/W2060799405","https://openalex.org/W2048447692","https://openalex.org/W2031157814","https://openalex.org/W1483783534“]，”ngrams_url“：”https://api.openalex.org/works/W213397635/ngrams网站“，”“abstract_inverted_index”：{“HyComp”：[0,14,28,69]，“is”：[1]，“a”：[2,90]，“model”：[3]，“checker”：[4]，“for”：[5]，“hybrid”：[6,20]，“systems”：[7]，“base”：[8116]，“on”：[9,30117]，“Satisfility”：[10]，“Modulo”：[11]，“Theories”：[12]，“（SMT）.”：[13]，“takes”：[15]，“as”：[16103]，“input”：[17]，“networks”：[18]，“of”：[19,33,58,67,84,89107125135]，“automata”：[21,60]，“指定了“：[22]，”using“：[23,45]，”the“：[24,31,34,59,87105121133]，”HyDI“：[25]，”symbol“：[26]，”language。“：[27]，”依赖“：[29]，”编码“：[32]，”网络“：[35,61]，”到“：[36]，”一个“：[37136]，”无限状态“：[38]，”转换“：[39]，”系统“：[40]，”其中“：[41]，”可以“：[42,63,70,80]，”是“：[43]，”分析“：[44]，”基于SMT“：[46]，”验证“：[47]，”技术“：[48]，”（例如“：[49]，”BMC，“：[50]，”K-诱导“：[51]，”IC3）。“：[52]，”The“：[53]，”tool“：[54122]，”features“：[55,96]，”specialized“：[56101]，”encodings“：/57]，”and“：[62,73,76128130]，”discreteze“：[64]，”variable“：[65]，”种类“：[66]，”dynamics。“：[68]，”verify“：[71]，”invariant“：[72]，”LTL“：[74110]，”properties“，”：[75]，”scenario“：[77108]，”specifications；“：[78]，“it”：[79]，“also”：[81]，“perform”：+82]，“synthesis”：[83]，“parameters”：[85]，“assessment”：[86]，“satisfaction”：[88]，“given”：[C1]，“（invariant）”：[92]，“property”。“：[93]，“全部”：[94]，“这些”：[95]，“是”：[97]，“提供”：[98]，“要么”：[99]，“通过”：[100]，“算法”，“：[102]，“in”：[104123]，“case”：[106]，“or”：[109112]，“verification”：[111]，“applicating”：[113]，“off-shelf”：[114]，“algorithms”：[115]，“SMT”。“：[118]，“We”：[119]，“describe”：[120]，“terms”：[124]，“functionalities”：[126]，“architecture”：[127]，“implementation”：[129]，“We”：131]，“present”：[132]，“results”：[134]，“experimental”：[137]，“evaluation”。“：[138]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W213397635“，”counts_by_year“：[{”year“:2024，”cited_by_count“：1}，{”year“：2023，”cited_by_count”：1}，{“year”：2022，”citecd_by_count“：6}，”{“年份”：2021，”citesd_by_count“:7}，“年份”:2020，”citted_by-count“:5}，，”year”2019，”ciped_by_cunt“:6}、{“年”：2018，”cieted_by/count“7:}，“年份”：2017，“引用_ by_count”：11}，{“年份”:2016，“引用_by_counts”：11{“年度”：2015cited_by_count“：1}]，“updated_date”：“2024-06-25T04:48:29.857948”，“创建日期”：“2016-06-24”}