{"id":"https://openalex.org/W2040809343","doi":"https://doi.org/10.1145/1010832.1010843","title":"Recent SRI work in verification","display_name":"Recent SRI work in verification","publication_year":1981,"publication_date":"1981-07-01","ids":{"openalex":"https://openalex.org/W2040809343","doi":"https://doi.org/10.1145/1010832.1010843","mag":"2040809343"},"language":"en","primary_location":{"id":"doi:10.1145/1010832.1010843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010843","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009965537","display_name":"Karl Levitt","orcid":"https://orcid.org/0000-0002-1464-2966"},"institutions":[{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]},{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Karl N. Levitt","raw_affiliation_strings":["SRI International, Menlo, Park, CA","SRI International, Menlo Park,CA#TAB#"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo, Park, CA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI International, Menlo Park,CA#TAB#","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015261693","display_name":"Peter G. Neumann","orcid":"https://orcid.org/0009-0008-1197-8000"},"institutions":[{"id":"https://openalex.org/I1298353152","display_name":"SRI International","ror":"https://ror.org/05s570m15","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I1298353152"]},{"id":"https://openalex.org/I4210099336","display_name":"Menlo School","ror":"https://ror.org/01240pn49","country_code":"US","type":"education","lineage":["https://openalex.org/I4210099336"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter G. Neumann","raw_affiliation_strings":["SRI International, Menlo, Park, CA","SRI International, Menlo Park,CA#TAB#"],"affiliations":[{"raw_affiliation_string":"SRI International, Menlo, Park, CA","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]},{"raw_affiliation_string":"SRI International, Menlo Park,CA#TAB#","institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009965537"],"corresponding_institution_ids":["https://openalex.org/I1298353152","https://openalex.org/I4210099336"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21660305,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"3","first_page":"27","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5656378269195557},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.5232676267623901},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5055370330810547},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3848349452018738},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24175482988357544}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5656378269195557},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.5232676267623901},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5055370330810547},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3848349452018738},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24175482988357544},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1010832.1010843","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010843","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W30558629","https://openalex.org/W74078291","https://openalex.org/W183474050","https://openalex.org/W336063547","https://openalex.org/W1496607686","https://openalex.org/W1561832887","https://openalex.org/W1567452806","https://openalex.org/W1589655416","https://openalex.org/W1590828018","https://openalex.org/W1634257591","https://openalex.org/W2007748565","https://openalex.org/W2013530844","https://openalex.org/W2062341323","https://openalex.org/W2115592109","https://openalex.org/W2119774287","https://openalex.org/W2120054914","https://openalex.org/W2126924915","https://openalex.org/W2166656159","https://openalex.org/W2561675875","https://openalex.org/W2735830446","https://openalex.org/W2794355739","https://openalex.org/W2911425143","https://openalex.org/W3137092842","https://openalex.org/W4231964728","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"article":[0],"Recent":[1],"SRI":[2,12,17,27,32],"work":[3],"in":[4,104],"verification":[5],"Share":[6],"on":[7,95],"Authors:":[8],"Karl":[9],"N.":[10],"Levitt":[11],"International,":[13,18,28,33],"Menlo,":[14,19,29,34],"Park,":[15,20,30,35],"CA":[16,31],"CAView":[21,36],"Profile":[22,37],",":[23],"Peter":[24],"G.":[25],"Neumann":[26],"Authors":[38],"Info":[39],"&":[40],"Claims":[41],"ACM":[42],"SIGSOFT":[43],"Software":[44],"Engineering":[45],"NotesVolume":[46],"6Issue":[47],"3July":[48],"1981":[49,53],"pp":[50],"27\u201335https://doi.org/10.1145/1010832.1010843Published:01":[51],"July":[52],"1citation145DownloadsMetricsTotal":[54],"Citations1Total":[55],"Downloads145Last":[56],"12":[57],"Months0Last":[58],"6":[59],"weeks0":[60],"Get":[61],"Citation":[62,64,101],"AlertsNew":[63,100],"Alert":[65],"added!This":[66],"alert":[67,92],"has":[68,87],"been":[69,88],"successfully":[70],"added":[71],"and":[72],"will":[73,77],"be":[74,78],"sent":[75],"to:You":[76],"notified":[79],"whenever":[80],"a":[81,113],"record":[82],"that":[83],"you":[84],"have":[85],"chosen":[86],"cited.To":[89],"manage":[90],"your":[91,106],"preferences,":[93],"click":[94],"the":[96],"button":[97],"below.Manage":[98],"my":[99],"Alert!Please":[102],"log":[103],"to":[105,109,111],"account":[107],"Save":[108],"BinderSave":[110],"BinderCreate":[112],"New":[114],"BinderNameCancelCreateExport":[115],"CitationPublisher":[116],"SiteGet":[117],"Access":[118]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}