{“id”：“https://openalex.org/W1967762040“，”doi“：”https://doi.org/10.1109/sp.1987.10018“，”title“：”Toward Verified Execution Environments“，”display_name“：”Toward Verived Executing Environment“，”publication_year“：1987，”publiation_date“：”1987-04-01“，”ids“：{”openalex“：”https://openalex.org/W1967762040“，”doi“：”https://doi.org/10.1109/sp.1987.10018“，”mag“：”1967762040“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sp.1987.10018“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”http://www.cs.utexas.edu/users/boyer/ftp/ics-reports/cmp54.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5076845184“，”display_name“：”William R.Bevier“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Willia姆R.Bevier“，“raw_affiliation_strings”：[“Computational Logic，Inc.”]，“afliations”：[{“raw_affiliation_string”：“Computation Logic，Inc”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”https://openalex.org/A5084447019“，”display_name“：”Warren A.Hunt“，”orcid“：”https://orcid.org/0009-0004-1444-2544“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”Warren A.Hunt“，”raw _ afiliation_strings“：[]，“affiliations”：[]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5000371423“，”display_name“：”William D.Young“，”orcid“：”https://orcid.org/0000-0002-4605-5803“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”William D.Young“，”raw关联字符串“：[]，“隶属关系”：[]}]，”countries_distiction_count“：0，”机构区分计数“：0”，“corresponding_author_ids”：[]_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：20，”cited_by_percentile_year“：{”min“：87，”max“：88}，”biblio“：{”volume“：null，”issue“：null，”first_page“：null'，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9996，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9996，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”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.622001}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.596969}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.582996}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.520744}，{”id“：”https://openalex.org/keywords/multicore-architectures网站“，”display_name“：”Multicore Architectures“，”score“：0.506629}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8488343}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.8175812}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5156073}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”Software“，”level“：2，”score“：0.4520365｝，｛”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.39246804｝，｛”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.34054667}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/sp.1987.10018“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.100.9709，“pdf_url”：http://www.cs.utexas.edu/users/boyer/ftp/ics-reports/cmp54.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.100.9709，“pdf_url”：http://www.cs.utexas.edu/users/boyer/ftp/ics-reports/cmp54.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：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“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：5，“referrenced_works”：https://openalex.org/W1539492121","https://openalex.org/W1590828018","https://openalex.org/W1836138758","https://openalex.org/W2412872939","https://openalex.org/W2500129170“]，”related_works“：[”https://openalex.org/W4379536100","https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2245390655","https://openalex.org/W2169584677","https://openalex.org/W2132806979","https://openalex.org/W2127315869","https://openalex.org/W188282463","https://openalex.org/W1713081424","https://openalex.org/W1523769955“]，”ngrams_url“：”https://api.openalex.org/works/W1967762040/ngrams网站“，”“abstract_inverted_index”：{“Current”：[0]，“verification”：[1,7]，“technology”：[2]，“provides”：[3]，“tools”：[4]，“for”：[5]，“the”：[6,43]，“of”：[8,45,50,58]，“programs”：[9,18]，“writed”：[10]，“in”：[11,29]，“a”：[12,51]，“high”：[13,17]，已验证“：[16]，”可能“：[19]，”不“：[20]，”满足“：[21]，”他们的“：[22]，”规格“：[23]，”当“：[24]”、“已执行”、“：[25]”、“到期”：[26]、“至”：[27]、“错误”：[28]、“塔级”：[30]、“软件”：[31]、“和”：[32,55]、“硬件”时。“：[33]，“我们”：[34]，“讨论”：[35]，“一个”：[36,46]，“尝试”：[37]，“在”：[38]，“消除”：[39]，“这个”：[40]，“问题”：[41]，“有”：[42]，“设计”：[44]，“执行”：[47]，“环境”：[48]，“组成”：[49]，“编译器”：[52]，“操作”：[53]，“系统”，“：[54]，“处理器”：[56]，“每个“：[57]，”其中“：[59]，”已经“：[60]，”已“：[61]，”机械“：[62]，”验证。“：[63]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1967762040“，”counts_by_year“：[]，”updated_date“：”2024-06-28T22:01:23.151827“，”创建日期“：”2016-06-24“}