{“id”：“https://openalex.org/W1435015471“，”doi“：”https://doi.org/10.14279/tuj.eceasst.46.697“，”title“：”Altarica模型的符号模型检查与安全评估“，”display_name“：”Altarica模型符号模型检查和安全评估“；”publication_year“：2012，”publication_date“：”2012-02-27“，”ids“：{”openalex“：”https://openalex.org/W1435015471“，”doi“：”https://doi.org/10.14279/tuj.eceasst.46.697“，”mag“：”1435015471“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”http://www.sergimover.eu/paper/AVOCS11/avocs2011.pdf“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S112260463“，”display_name“：”欧洲软件科学与技术协会电子通信“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]”，“type”：“journal”}，“license”：null，“licence_id”：null版本“：null，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“journal-article”，”indexed_in“：[]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：nul，”any_repository_has_fulltext“：假}，“作者身份”：[{“author_position”：“first”，“author”：{“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 _affiliation_strings“：[“fodazione bruno kessler”]}，{“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“：[“fodazione bruno kessler”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5081552723“，”display_name“：”Oleg Lisagor“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I52099693“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Oleg Lisagor“，”raw_affiliation_strings“：[“约克大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5023931839“，”display_name“：”Cristian Mattarei“，”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“：”Cristian Mattarei“，”raw _affiliation_strings“：[“fodazione bruno kessler”]}，{“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 _affiliation_strings“：[“fodazione bruno kessler”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5053862435“，”display_name“：”Marco Roveri“，”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“：”Marco Roveri“，”raw _affiliation_strings“：[“fodazione bruno kessler”]}，{“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“：[“fodazione bruno kessler”]}]“countries _ distinct_count”：2，”institutions _ disting_count“：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]“引用_by_count”：10，“cited_by_percentile_year“：{“min”：86，“max”：87}，“biblio”：{卷：“46”，“issue”：null，“first_page”：nul，“last_page”：null}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9989，”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.9986，“subfield”：{“id”：“https://openalex.org/subfields/2213“，”display_name“：”安全、风险、可靠性和质量“｝，”field“：｛”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/symbolic-model-checker（https://openalex.org/keywords/symbolic-model-checker）“，”display_name“：”符号模型检查器“，”score“：0.561631}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.556697}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.511214}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.84242225}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.79347146}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.5666645｝，｛”id“：”https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.55137867}，{”id“：”https://openalex.org/C115903868，“wikidata”：https://www.wikidata.org/wiki/Q80993“，”display_name“：”软件工程“，”level“：1，”score“：0.39901096}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.3988294}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”http://www.sergimover.eu/paper/AVOCS11/avocs2011.pdf“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S112260463“，”display_name“：”欧洲软件科学与技术协会电子通信“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：nul，”hose_organization_name“:null，“host_orgganization_lineage”：[]，”hosd_organisation_lineage_names“：[]”，“type”：“journal”}，“license”：null，“licence_id”：null版本“：null，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”display_name“：”可持续城市和社区“，”id“：”https://metadata.un.org/sdg/11“，”score“：0.41}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：16，”referrenced_works“：【”https://openalex.org/W1503170978","https://openalex.org/W1543835464","https://openalex.org/W160223915","https://openalex.org/W1655053995","https://openalex.org/W1787074469","https://openalex.org/W1998778815","https://openalex.org/W2030224590","https://openalex.org/W2035568363","https://openalex.org/W2055856629","https://openalex.org/W2064759549","https://openalex.org/W2070874614","https://openalex.org/W2158963168","https://openalex.org/W2160754740","https://openalex.org/W2166604851","https://openalex.org/W3494227","https://openalex.org/W69467742“]，”related_works“：[”https://openalex.org/W949250345","https://openalex.org/W69467742","https://openalex.org/W2903117745","https://openalex.org/W2520623340","https://openalex.org/W2472055599","https://openalex.org/W2261187405","https://openalex.org/W2218054722","https://openalex.org/W2174091519","https://openalex.org/W2166604851","https://openalex.org/W2150855845","https://openalex.org/W2118864410","https://openalex.org/W2094655264","https://openalex.org/W2070874614","https://openalex.org/W2055856629","https://openalex.org/W2052648921","https://openalex.org/W2001289891","https://openalex.org/W1889085354","https://openalex.org/W1802815921","https://openalex.org/W1712895775","https://openalex.org/W1580066367“]，”ngrams_url“：”https://api.openalex.org/works/W1435015471/ngrams网站“，”“abstract_inverted_index”：{“Altarica”：[0,21]，“is”：[1]，“a”：[2,14,25,54]，“language”：[3]，“used”：[4]，“to”：[5,17,39]，“describe”：[6]，“critical”：[7]，“systems.”：+8]，“In”：-9]，“this”：[10]，“paper”：[11]，“we”：[12]，“present”：[13]，“novel”：%15]，“approach”：4,65]，“the”：[18,37,61,64]，“analysis”：[19]，“of”：[20,31,56,63]，“models”，“model”：[22]，“based”：[23]，“on”：[24,53]，“翻译“：[26]，”为“：[27]，”an“：[28]，”extended“：[29]，”version“：[30]，”NuSMV。“：[32]，“This”：[33]，“opens”：[35]，“up”：[36]，“possibility”：[38]，“carry”：[40]，“out”：[41]，“functional”：[42]，“verification”：[43]，“and”：[44]，“safety”：[45]，“assessment”：[46]，“with”：[47]，“symbol”：[48]，“technologies”。“：[49]，”安“：[50]，”实验“：[51]，”评估“：[52]，”集“：[55]，”工业“：[57]，”案例“：[58]，”研究“：[59]，”演示“：[60]，”优势“：[62]，”超过“：[66]，”当前“：[67]，”可用“：[68]，”工具。“：[69]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1435015471“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：1}，{“年”：2021，”“cited_by_cunt”：1'，{”“年”“：2018，”“引用_by_cont”“：2}，}”“年份”“：2015，”“援引_by_cust”“:4}，”“年份“：2014，”“创建日期”：“2016-06-24”}