{“id”：“https://openalex.org/W2099392892“，”doi“：”https://doi.org/10.109/apsec.2001.991495“，”title“：”并行系统自动验证的概率方法“，”display_name“：”并发系统自动验证中的概率方法”，“publication_year”：2005，“publiation_date”：“2005-08-25”，“ids”：{“openalex”：“https://openalex.org/W2099392892“，”doi“：”https://doi.org/10.109/apsec.2001.991495“，”mag“：”2099392892“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/apsec.2001.991495“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5010524910“，”display_name“：”Enrico Tronci“，”orcid“：”https://orcid.org/0000-0002-0377-3119}，“机构”：[{“id”：https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I26415053“]｝]，”countries“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”E.Tronci“，”raw_affiation_strings“：[”Area Informatica，Universit \u00e0 di L'Aquila，Coppito，L'Aquila，Italy“]｝，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000230182“，”display_name“：”Giuseppe Della Penna“，”orcid“：”https://orcid.org/0000-0003-2327-9393}，“机构”：[{“id”：https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I26415053“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”G.Della Penna“，”raw _affiliation_strings“：[“Area Informatica，University \u00e0 di L'Aquila，Coppito，L'Aquela，Italy”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5038380237“，”display_name“：”Benedetto Intrigila“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I26415053“，”display_name“：”拉奎拉大学“，”ror“：”https://ror.org/01j9p1r26“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I26415053“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”B.Intrigila“，”raw _affiliation_strings“：[“Area Informatica，University \u00e0 di L'Aquila，Coppito，L'Aquela，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5082449905“，”display_name“：”Marisa Venturini Zilli“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101866“，”display_name“：”Informa（意大利）“，”ror“：”https://ror.org/017c2y429“，”country_code“：”IT“，”type“：“company”，”lineage“：[”https://openalex.org/I4210101866","https://openalex.org/I4210154378“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”M.V.Zilli“，”raw _affiliation_strings“：[意大利罗马罗马大学信息技术学院]]，”countries_distiction_count“：1，”institutions_distic“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids：null，“apc_payd“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：15，”cited_by_percentile_year“：{”min“：86，”max“：87}，”biblio“：{“volume”：null、“issue”：nul、“first_page”：nully、“last_page”：null}、“is_retracted”：false、“is_paratext”：false、“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：1.0，“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”：1.0，“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/T10743“，”“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/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.59545}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.570021｝，｛”id“：”https://openalex.org/keywords/safety-verification（https://openalex.org/keywords/safety-verification）“，”display_name“：”安全验证“，”score“：0.553798}，{”id“：”https://openalex.org/keywords/automated-testing网站“，”display_name“：”自动测试“，”score“：0.553469}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.541599}]，”concepts“：[{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.81052375}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.7963557}，{”id“：”https://openalex.org/C2780451532，“wikidata”：https://www.wikidata.org/wiki/Q759676“，”display_name“：”Task（project management）“，”level“：2，”score“：0.654245}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.6033726}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031（网址：https://www.wikidata.org/wiki/Q599031）“，”display_name“：”State（computer science）“，”level“：2，”score“：0.5511958}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”级别“：2，”分数“：0.5452959}，{”id“：”https://openalex.org/C62460635，“wikidata”：https://www.wikidata.org/wiki/Q5508853“，”display_name“：”功能验证“，”level“：3，”score“：0.53804564}，{”id“：”https://openalex.org/C72434380，“wikidata”：https://www.wikidata.org/wiki/Q230930“，”display_name“：”状态空间“，”level“：2，”score“：0.52827436}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4739894}，{”id“：”https://openalex.org/C202973057，“wikidata”：https://www.wikidata.org/wiki/Q7380130“，”display_name“：”运行时验证“，”level“：3，”score“：0.462451}，{”id“：”https://openalex.org/C187250869，“wikidata”：https://www.wikidata.org/wiki/Q5754573“，”display_name“：”高级验证“，”level“：5，”score“：0.46130353}，{”id“：”https://openalex.org/C3406870，“wikidata”：https://www.wikidata.org/wiki/Q6044160“，”display_name“：”智能验证“，”level“：5，”score“：0.45006645}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.36347744}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.15692273}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.1432682}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.106242746}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C187736073，“wikidata”：https://www.wikidata.org/wiki/Q2920921“，”display_name“：”管理“，”级别“：1，”分数“：0.0}，{”id“：”https://openalex.org/C162324750，“wikidata”：https://www.wikidata.org/wiki/Q8134“，”display_name“：”经济学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”level“：3，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/apsec.2001.991495“，”pdf_url“：null，”source“：null，”license“：null，”liccense_id“：nuld，”version“：nully，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[{”score“：0.59，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：32，”refernced_works“：[”https://openalex.org/W1506375872","https://openalex.org/W1557440254","https://openalex.org/W1583487553","https://openalex.org/W1674675511","https://openalex.org/W1877700846","https://openalex.org/W1947849810","https://openalex.org/W195082763","https://openalex.org/W1972065960","https://openalex.org/W2012935476","https://openalex.org/W2026965951","https://openalex.org/W2046138576","https://openalex.org/W2061438988","https://openalex.org/W2075648419","https://openalex.org/W2079071129","https://openalex.org/W2080267935","https://openalex.org/W2081553013","https://openalex.org/W2099392892","https://openalex.org/W2099800340网址","https://openalex.org/W2115309705","https://openalex.org/W2116989825","https://openalex.org/W2117812659","https://openalex.org/W2147514485","https://openalex.org/W2166158916","https://openalex.org/W3020947624","https://openalex.org/W30961909","https://openalex.org/W38851120","https://openalex.org/W4213079124","https://openalex.org/W4231916799","https://openalex.org/W4235527454","https://openalex.org/W4296471858","https://openalex.org/W4300021588","https://openalex.org/W98889874“]，”related_works“：[”https://openalex.org/W3120172095","https://openalex.org/W3036403349","https://openalex.org/W2535719568","https://openalex.org/W2325633191","https://openalex.org/W2153955347","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2037352836","https://openalex.org/W1928822090","https://openalex.org/W1563456403“]，”ngrams_url“：”https://api.openalex.org/works/W2099392892/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“main”：[1]，“barrier”：[2]，“to”：[3,16117]，“automatic”：[4,32]，“verification”：[5,19,33120129]，“of”：[6,13,50,98105132134]，“concurrent”：[7]，“systems”：[8]，“is”：[9,47123]，“The”：[10,18119128]，“surge”：[11]，“amount”：[12]，“memory”：[14,46116]，“必需”：[15]，“完成”：[17118]，“任务”：[20130]，“（状态”：[21]，”爆炸）。“：[22]，”In“：[23，43]，”this“：[24]，”论文“：[25]，”we“：[26，91]，”present“：[27]，”a“：[28，61509]，”概率“：[29，89]，”算法“：[30，38，54，90]，”for“：[31]，”via“：[34]，”model“：[35]，”checking“。“：[36]，”我们的“：[37,80]，”交易“：[39]，”空间“：[40112]，”与“：[41,74100114]，”时间。“：[42]，”特别“：[44]，”当“：[45]，”完全“：[48]，”因为“：[49131]，”状态“：[51111]，”爆炸“：[52]，”我们的“：[53,88]，”做“：[55]，”不“：[56]，”给出“：[57]，”向上“：[58127]，”验证。“：[59]，”代替“：[60]，”它“：[61]，”只是“：[62]，”继续“：[63]，”在“：[64]，”更低“：[66]，”速度“：[67]，”和“：[68]，”其“：[69]，”结果“：[70,83]，”将“：[71]，”仅“：[72]，”保持“：[73]，”部分“：[75]，”任意“：[76]，”小“：[77]，”错误“：[78]，”概率。“：[79]，”初步“：[81]，”实验“：[82]，”显示“：[84]，”that“：[85]，”by“：[86]，”using“：[87]，”can“：[92]，”典型“：[93]，”save“：[94]，”more“：[95]，”han“：[96125]，”30%“：[97]，”RAM“：[99]，”an“：[101]，”average“：[102]，”time“：[103]，”pension“：[104]，”about“：[106]，“100%”：[107]，“w.r.t.”：[108]，“确定性”：[110]，“探索性”：[113]，“足够”：[115]，“任务。“：[121]，”这“：[122]，”更好“：[124]，”给予“：[126]，”缺乏“：[133]，”记忆。“：[135]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2099392892“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}，{”年份“：2016，”cited_by_count”：2}，“{”年度“：2015，”citecd_by_count“：1}，”{“年份”：2014，”citesd_by_count“:2}，，”年“:2013，”citted_by/count“:1}]，”更新日期“：”2024-05-15T11:37:18.683254“，”创建日期“：“2016-06-24”}