{"id":"https://openalex.org/W2043235236","doi":"https://doi.org/10.1145/1010832.1010842","title":"Program verification at Stanford","display_name":"Program verification at Stanford","publication_year":1981,"publication_date":"1981-07-01","ids":{"openalex":"https://openalex.org/W2043235236","doi":"https://doi.org/10.1145/1010832.1010842","mag":"2043235236"},"language":"en","primary_location":{"id":"doi:10.1145/1010832.1010842","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010842","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/A5018674372","display_name":"D Luckham","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"D. C. Luckham","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088452403","display_name":"F. W. von Henke","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"F. W. von Henke","raw_affiliation_strings":["Stanford University"],"affiliations":[{"raw_affiliation_string":"Stanford University","institution_ids":["https://openalex.org/I97018004"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5018674372"],"corresponding_institution_ids":["https://openalex.org/I97018004"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25094835,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"3","first_page":"25","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/citation","display_name":"Citation","score":0.7903656959533691},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5744297504425049},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45340532064437866},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4309152066707611},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.37487339973449707},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2416735589504242}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7903656959533691},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5744297504425049},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45340532064437866},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4309152066707611},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.37487339973449707},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2416735589504242}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1010832.1010842","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1010832.1010842","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W331945502","https://openalex.org/W1533547299","https://openalex.org/W1579245453","https://openalex.org/W1582424329","https://openalex.org/W2005371684","https://openalex.org/W2030897976","https://openalex.org/W2069777609","https://openalex.org/W2081379485","https://openalex.org/W2132302503","https://openalex.org/W4205841573","https://openalex.org/W4250768587"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2323581027","https://openalex.org/W2351790455","https://openalex.org/W2356158875","https://openalex.org/W1506282065","https://openalex.org/W2570974996","https://openalex.org/W2752793062","https://openalex.org/W2367699234","https://openalex.org/W1507112395","https://openalex.org/W2347547156"],"abstract_inverted_index":{"article":[0],"Program":[1],"verification":[2],"at":[3],"Stanford":[4,11,13,21,23],"Share":[5],"on":[6,84],"Authors:":[7],"D.":[8],"C.":[9],"Luckham":[10],"University":[12,22],"UniversityView":[14,24],"Profile":[15,25],",":[16],"F.":[17],"W.":[18],"von":[19],"Henke":[20],"Authors":[26],"Info":[27],"&":[28],"Claims":[29],"ACM":[30],"SIGSOFT":[31],"Software":[32],"Engineering":[33],"NotesVolume":[34],"6Issue":[35],"3July":[36],"1981":[37],"pp":[38],"25\u201327https://doi.org/10.1145/1010832.1010842Online:01":[39],"July":[40],"1981Publication":[41],"History":[42],"0citation124DownloadsMetricsTotal":[43],"Citations0Total":[44],"Downloads124Last":[45],"12":[46],"Months1Last":[47],"6":[48],"weeks0":[49],"Get":[50],"Citation":[51,53,90],"AlertsNew":[52,89],"Alert":[54],"added!This":[55],"alert":[56,81],"has":[57,76],"been":[58,77],"successfully":[59],"added":[60],"and":[61],"will":[62,66],"be":[63,67],"sent":[64],"to:You":[65],"notified":[68],"whenever":[69],"a":[70,102],"record":[71],"that":[72],"you":[73],"have":[74],"chosen":[75],"cited.To":[78],"manage":[79],"your":[80,95],"preferences,":[82],"click":[83],"the":[85],"button":[86],"below.Manage":[87],"my":[88],"Alert!Please":[91],"log":[92],"in":[93],"to":[94,98,100],"account":[96],"Save":[97],"BinderSave":[99],"BinderCreate":[101],"New":[103],"BinderNameCancelCreateExport":[104],"CitationPublisher":[105],"SiteGet":[106],"Access":[107]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}