{“id”：“https://openalex.org/W1995909478“，”doi“：”https://doi.org/10.1049/iet-cdt.2010.0154“，”title“：”PSL安全属性的高效模型检查“，”display_name“：”高效模型检查PSL安全性能“，”publication_year“：2011，”publiation_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1995909478“，”doi“：”https://doi.org/10.1049/iet-cdt.2010.0154“，”mag“：”1995909478“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1049/iet-cdt.2010.0154“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S28293273“，”display_name“：”IET计算机和数字技术“，”issn_l“：”1751-8601“，”isn“：[”1751-8801“，“1751-861X”“]，”is_oa“：true，”is.in_doaj“：true，”host_organization“：”https://openalex.org/P4310311714“，”“host_organization_name”：“工程技术学院”，“host_ordanization_lineage”：[“https://openalex.org/P4310311714“]，”host_organization_lineage_names“：[”工程技术学院“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://www.tcs.tkk.fi/%7Ekepa/publications/LauHelJun-ACSD10.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5060220797“，”display_name“：”Tuomas Launiainen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”T.Launiainen“，”raw _ afiliation_strings“：[“芬兰阿尔托阿尔托大学科学院信息与计算机科学系”]，”affiliations“：[{”raw _affiliation_strong“：”芬兰阿尔托阿尔托大学科学院信息与计算机科学系“，“institution_ids”：[“https://openalex.org/I9927081“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5078732211“，”display_name“：”Keijo Heljanko“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”K.Heljanko“，”raw_affiliation_strings“：[“芬兰阿尔托阿尔托大学科学院信息与计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”芬兰阿尔托阿尔托大学科学院信息与计算机科学系“，“institution_ids”：[“https://openalex.org/I9927081“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5037137004“，”display_name“：”Tommi Junttila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9927081“，”display_name“：”阿尔托大学“，”ror“：”https://ror.org/020hwjq30“，”country_code“：”FI“，”type“：“教育”，”世系“：[”https://openalex.org/I9927081“]}]，”国家“：[”FI“]，”is_corresponding“：false，”raw_author_name“：”T.Junttila“，”raw _ afiliation_strings“：[“芬兰阿尔托阿尔托大学科学院信息与计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”芬兰阿尔托阿尔托大学科学院信息与计算机科学系“，“institution_ids”：[“https://openalex.org/I9927081“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：2000，”currency“：”EUR“，”value_usd“：2200，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.684，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited _by_count“：3，”引用的_by_percentile_year“：{”最小值“：79，”max“：81}，”biblio“：{”volume“：”5“，”issue“：”6“，”first_page“：”479“，”last_page“：“479”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9978，“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.9978，“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/T13295“，”“display_name”：“复杂系统开发中的安全保证”，“score”：0.9967，“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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9938，”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.598597}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.552717}，{”id“：”https://openalex.org/keywords/software-reliability建模“，”display_name“：”软件可靠性建模“，”score“：0.521431}，{”id“：”https://openalex.org/keywords/fault-detection-and-correction网站“，”display_name“：”故障检测和纠正“，”score“：0.519401｝，｛”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.508572}]，”concepts“：[{”id“：”https://openalex.org/C162838799，“wikidata”：https://www.wikidata.org/wiki/Q596077“，”display_name“：”反例“，”level“：2，”score“：0.88375866}，{”id“：”https://openalex.org/C10464949，“wikidata”：https://www.wikidata.org/wiki/Q1914781“，”display_name“：”PSL“，”level“：2，”score“：0.8605814｝，｛”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.78089267}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.64895964}，{”id“：”https://openalex.org/C141603448，“wikidata”：https://www.wikidata.org/wiki/Q134830“，”display_name“：”前缀“，”级别“：2，”分数“：0.5449466}，{”id“：”https://openalex.org/C201677973，“wikidata”：https://www.wikidata.org/wiki/Q1209840“，”“display_name”“：”规范语言“，”级别“：2，”分数“：0.4974387}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848（网址：https://www.wikidata.org/wiki/Q5127848）“，”display_name“：”课程（哲学）“，”级别“：2，”分数“：0.49041578｝，｛”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.46609962}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.37156698}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.33713025}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2246243}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.17482015}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.12902725}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.060403615}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1049/iet-cdt.2010.0154“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S28293273“，”display_name“：”IET计算机和数字技术“，”issn_l“：”1751-8601“，”isn“：[”1751-8801“，“1751-861X”“]，”is_oa“：true，”is.in_doaj“：true，”host_organization“：”https://openalex.org/P4310311714“，”“host_organization_name”：“工程技术学院”，“host_ordanization_lineage”：[“https://openalex.org/P4310311714“]，”host_organization_lineage_names“：[”工程技术学院“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.177.6898，“pdf_url”：http://www.tcs.tkk.fi/%7Ekepa/publications/LauHelJun-ACSD10.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.177.6898，“pdf_url”：http://www.tcs.tkk.fi/%7Ekepa/publications/LauHelJun-ACSD10.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”score“：0.47，”display_name“：”工业、创新和基础设施“，”id“：”https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：【”https://openalex.org/W1480531236","https://openalex.org/W1487629853网址","https://openalex.org/W1540883472","https://openalex.org/W1548402307","https://openalex.org/W1573354578","https://openalex.org/W1623004875","https://openalex.org/W1654252768","https://openalex.org/W1994584977","https://openalex.org/W2020306722","https://openalex.org/W2057312772","https://openalex.org/W2061438988","https://openalex.org/W2105167627","https://openalex.org/W2119964394","https://openalex.org/W2130290065","https://openalex.org/W2143760481","https://openalex.org/W2153657696","https://openalex.org/W2158027086","https://openalex.org/W2165601498“]，”related_works“：[”https://openalex.org/W4226455345","https://openalex.org/W3004330880","https://openalex.org/W2996306923","https://openalex.org/W2996101188网址","https://openalex.org/W2953113086","https://openalex.org/W2952737788","https://openalex.org/W2906414647","https://openalex.org/W2765989158","https://openalex.org/W2056825861","https://openalex.org/W1552191998“]，”ngrams_url“：”https://api.openalex.org/works/W1995909478/ngrams“，”“abstract_inverted_index”：{“安全”：[0]，“属性”：[1,21,38132]，“是”：[2,25,80]，“an”：[3,31,48]，“重要”：[4]，“类”：[5]，“的”：[6,13,19101129146174]，“特性”：[7,70]，“作为”：[8,59]，“in”：[9,40,89]，“the”：[10,20,76,81,86,97108147158]，“工业”：[11,49]，“使用”：[12]，“型号”：[14,35152165176]，“检查”：[15]，“a”：[16,60125162171]，““大”：[17]，“多数”：[18]，“到”：[22,34117160170]，“是”：[23,57161]，“检查过”：[24]，“安全”：[26,37131138]，“属性”。“：[27118]，”This“：[28]，”work“：[29]，”presents“：[30]，”efficient“：[32]，”approach“：[33,5410010121159167]，”check“：[36]，”expressed“：[39]，”PSL“：[41,69,87130137175]，”（IEEE“：【42】，”Std“：【43】，”1850“：【44】，”Property“：【45】，”Specification“：【46】，”Language），“：【47】，”Property“：【50】，”Specification“：[51]，”语言。“：[52]，”The“：[53,91119154]，”can“：[55]，”alsor“：[56]，”used“：[58]，”sound“：[61]，”but“：62105]，”incomplete“：[63]，”bug计数“：[64]，”tool“：[65]，”for“：[66,85136]，”general“：[67]，”（非安全）“：[68]，”and“：[71103140]，”it“：[72]，”will“：[73]，”detect“：[74]，”“精确”：[75]，“有限”：[77115]，“反例”：[78116]，“that”：[79]，“informative”：[82]，“bad”：[83]，“前缀”：[84]，“公式”：[88]，“问题”：[90]，“呈现”：[92122]，“技术”：[93]，“是”：[94111]，“灵感”：[95]，“由”：[96]，“时间”：[98]，“测试人员”：[99]，“普努利”：[102]，“合著者”：[104]，“不同”：[106]，“他们的”：[107]，“提议”：[109]，“瞄准”：[112]，“at”：[113]，“发现”：[114]，“新”：[120]，“此处”：[123]，“句柄”：[124]，“较大”：[126]，“语法”：[127]，“子集”：[128]，“than”：[133]，“earlier”：[134]，“translations”：[135]，“subsetts”：[139]，“has”：%141]，“been”：[142]，“implemented”：[143]，“on”：[144]，“top”：[145]，“open”：%148]，“source”：+149]，“NuSMV”：[150]，“2”：[151]，“checker.”：:153]，“experimental”：[155]，“results”：/156]，“show”：[157]，“相当”：[163]，“竞争”：[164]，“检查”：[166]，“何时”：[168]，“比较”：[169]，“最先进”：[172]，“实现”：[173]，“检查”：[177]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1995909478“，”counts_by_year“：[{”年“：2015，”cited_by_count“：1}，{”年份“：2013，”cited_by_count”：2}]，”更新日期“：”2024-06-23T23:53:41.752315“，”创建日期“：“2016-06-24”}