{"id":"https://openalex.org/W2097585674","doi":"https://doi.org/10.1145/1173706.1173740","title":"Roadmap for enhanced languages and methods to aid verification","display_name":"Roadmap for enhanced languages and methods to aid verification","publication_year":2006,"publication_date":"2006-10-22","ids":{"openalex":"https://openalex.org/W2097585674","doi":"https://doi.org/10.1145/1173706.1173740","mag":"2097585674"},"language":"en","primary_location":{"id":"doi:10.1145/1173706.1173740","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1173706.1173740","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international conference on Generative programming and component engineering","raw_type":"proceedings-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/A5014066009","display_name":"Gary T. Leavens","orcid":"https://orcid.org/0000-0003-3271-3921"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gary T. Leavens","raw_affiliation_strings":["Iowa State University, Ames, IA"],"affiliations":[{"raw_affiliation_string":"Iowa State University, Ames, IA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113780795","display_name":"Jean-Raymond Abrial","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jean-Raymond Abrial","raw_affiliation_strings":["ETH Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033605569","display_name":"Don Batory","orcid":"https://orcid.org/0000-0002-8739-3841"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Don Batory","raw_affiliation_strings":["University of Texas, Austin, TX"],"affiliations":[{"raw_affiliation_string":"University of Texas, Austin, TX","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056335848","display_name":"Michael Butler","orcid":"https://orcid.org/0000-0003-4642-5373"},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michael Butler","raw_affiliation_strings":["University of Southampton, UK","University of Southampton UK"],"affiliations":[{"raw_affiliation_string":"University of Southampton, UK","institution_ids":["https://openalex.org/I43439940"]},{"raw_affiliation_string":"University of Southampton UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027174237","display_name":"Alessandro Coglio","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156228","display_name":"Kestrel Institute","ror":"https://ror.org/04deyvw92","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210156228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alessandro Coglio","raw_affiliation_strings":["Kestrel Institute, CA"],"affiliations":[{"raw_affiliation_string":"Kestrel Institute, CA","institution_ids":["https://openalex.org/I4210156228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047286412","display_name":"Kathi Fisler","orcid":"https://orcid.org/0000-0002-7895-8206"},"institutions":[{"id":"https://openalex.org/I107077323","display_name":"Worcester Polytechnic Institute","ror":"https://ror.org/05ejpqr48","country_code":"US","type":"education","lineage":["https://openalex.org/I107077323"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kathi Fisler","raw_affiliation_strings":["Worcester Polytechnic Institute, MA","[Worcester Polytechnic Institute, MA]"],"affiliations":[{"raw_affiliation_string":"Worcester Polytechnic Institute, MA","institution_ids":["https://openalex.org/I107077323"]},{"raw_affiliation_string":"[Worcester Polytechnic Institute, MA]","institution_ids":["https://openalex.org/I107077323"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016175160","display_name":"Eric C. R. Hehner","orcid":"https://orcid.org/0000-0002-0179-0097"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Eric Hehner","raw_affiliation_strings":["University of Toronto, Canada"],"affiliations":[{"raw_affiliation_string":"University of Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087996237","display_name":"Cliff B. Jones","orcid":"https://orcid.org/0000-0002-0038-6623"},"institutions":[{"id":"https://openalex.org/I2800844553","display_name":"Newcastle College","ror":"https://ror.org/04jmcwc90","country_code":"GB","type":"education","lineage":["https://openalex.org/I2800844553"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cliff Jones","raw_affiliation_strings":["Newcastle, UK"],"affiliations":[{"raw_affiliation_string":"Newcastle, UK","institution_ids":["https://openalex.org/I2800844553"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018394339","display_name":"Dale Miller","orcid":"https://orcid.org/0000-0003-0274-4954"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Dale Miller","raw_affiliation_strings":["INRIA-Futurs, Polytechnique, France"],"affiliations":[{"raw_affiliation_string":"INRIA-Futurs, Polytechnique, France","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081423958","display_name":"Simon Peyton-Jones","orcid":null},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]},{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Simon Peyton-Jones","raw_affiliation_strings":["Microsoft Research, Cambridge, UK","Microsoft Research, Cambridge, UK;"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft Research, Cambridge, UK;","institution_ids":["https://openalex.org/I1290206253"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047326006","display_name":"Murali Sitaraman","orcid":null},"institutions":[{"id":"https://openalex.org/I8078737","display_name":"Clemson University","ror":"https://ror.org/037s24f05","country_code":"US","type":"education","lineage":["https://openalex.org/I8078737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Murali Sitaraman","raw_affiliation_strings":["Clemson University, SC"],"affiliations":[{"raw_affiliation_string":"Clemson University, SC","institution_ids":["https://openalex.org/I8078737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107949454","display_name":"Douglas R. Smith","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156228","display_name":"Kestrel Institute","ror":"https://ror.org/04deyvw92","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210156228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Douglas R. Smith","raw_affiliation_strings":["Kestrel Institute, CA"],"affiliations":[{"raw_affiliation_string":"Kestrel Institute, CA","institution_ids":["https://openalex.org/I4210156228"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072489480","display_name":"Aaron Stump","orcid":"https://orcid.org/0000-0002-9720-0003"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aaron Stump","raw_affiliation_strings":["Washington University of St. Louis, MO"],"affiliations":[{"raw_affiliation_string":"Washington University of St. Louis, MO","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5014066009"],"corresponding_institution_ids":["https://openalex.org/I173911158"],"apc_list":null,"apc_paid":null,"fwci":8.0894,"has_fulltext":false,"cited_by_count":69,"citation_normalized_percentile":{"value":0.98041643,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"2","issue":null,"first_page":"221","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9993000030517578,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8066332340240479},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.806204080581665},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.708922266960144},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5699720978736877},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4988405704498291},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.43598970770835876},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3439367115497589},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12334877252578735}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8066332340240479},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.806204080581665},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.708922266960144},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5699720978736877},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4988405704498291},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.43598970770835876},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3439367115497589},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12334877252578735},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1145/1173706.1173740","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1173706.1173740","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th international conference on Generative programming and component engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.soton.ac.uk:262885","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"},{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1002","is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/6","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},{"id":"pmh:oai:lib.dr.iastate.edu:cs_techreports-1179","is_oa":false,"landing_page_url":"https://lib.dr.iastate.edu/cs_techreports/179","pdf_url":null,"source":{"id":"https://openalex.org/S4377196104","display_name":"Iowa State University Digital Repository (Iowa State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173911158","host_organization_name":"Iowa State University","host_organization_lineage":["https://openalex.org/I173911158"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Technical Reports","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.359.7403","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.7403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://archives.cs.iastate.edu/documents/disk0/00/00/04/38/00000438-00/roadmap.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.74.9437","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.74.9437","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.toronto.edu/~hehner/roadmap.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.77.9497","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.77.9497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cl.cse.wustl.edu/papers/roadmap06.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":174,"referenced_works":["https://openalex.org/W4861723","https://openalex.org/W11332405","https://openalex.org/W14261152","https://openalex.org/W32320911","https://openalex.org/W44250868","https://openalex.org/W60418649","https://openalex.org/W97133795","https://openalex.org/W118153159","https://openalex.org/W122958000","https://openalex.org/W144724653","https://openalex.org/W174471988","https://openalex.org/W220935706","https://openalex.org/W279484374","https://openalex.org/W303139982","https://openalex.org/W1489503486","https://openalex.org/W1491216865","https://openalex.org/W1492315860","https://openalex.org/W1496607686","https://openalex.org/W1497695679","https://openalex.org/W1498946538","https://openalex.org/W1499226144","https://openalex.org/W1499994451","https://openalex.org/W1500250067","https://openalex.org/W1506588809","https://openalex.org/W1509650477","https://openalex.org/W1511133369","https://openalex.org/W1511826042","https://openalex.org/W1515422438","https://openalex.org/W1515854799","https://openalex.org/W1518695183","https://openalex.org/W1525928249","https://openalex.org/W1526898754","https://openalex.org/W1535477309","https://openalex.org/W1546682216","https://openalex.org/W1553894716","https://openalex.org/W1555946950","https://openalex.org/W1557880268","https://openalex.org/W1558425096","https://openalex.org/W1559870885","https://openalex.org/W1561529567","https://openalex.org/W1564123263","https://openalex.org/W1564787711","https://openalex.org/W1573044584","https://openalex.org/W1575308494","https://openalex.org/W1583095677","https://openalex.org/W1598265980","https://openalex.org/W1603641306","https://openalex.org/W1603788080","https://openalex.org/W1610570299","https://openalex.org/W1756661417","https://openalex.org/W1844490621","https://openalex.org/W1959256509","https://openalex.org/W1964482512","https://openalex.org/W1964830323","https://openalex.org/W1965664509","https://openalex.org/W1970495662","https://openalex.org/W1971587456","https://openalex.org/W1976394633","https://openalex.org/W1985086416","https://openalex.org/W1987577768","https://openalex.org/W1988698742","https://openalex.org/W1991837261","https://openalex.org/W1995384620","https://openalex.org/W1995912006","https://openalex.org/W2004816252","https://openalex.org/W2007181618","https://openalex.org/W2013492611","https://openalex.org/W2015688007","https://openalex.org/W2017752225","https://openalex.org/W2020476381","https://openalex.org/W2027584005","https://openalex.org/W2027917863","https://openalex.org/W2030725287","https://openalex.org/W2031669812","https://openalex.org/W2032396207","https://openalex.org/W2034711041","https://openalex.org/W2035529004","https://openalex.org/W2036603632","https://openalex.org/W2040060046","https://openalex.org/W2051871492","https://openalex.org/W2056537124","https://openalex.org/W2057835515","https://openalex.org/W2062887328","https://openalex.org/W2066859698","https://openalex.org/W2069107692","https://openalex.org/W2073544767","https://openalex.org/W2075642720","https://openalex.org/W2077592849","https://openalex.org/W2078739175","https://openalex.org/W2081945419","https://openalex.org/W2082000355","https://openalex.org/W2090741114","https://openalex.org/W2095631859","https://openalex.org/W2096266868","https://openalex.org/W2097167334","https://openalex.org/W2098448776","https://openalex.org/W2099008194","https://openalex.org/W2101928793","https://openalex.org/W2102326401","https://openalex.org/W2103591546","https://openalex.org/W2106192381","https://openalex.org/W2107995193","https://openalex.org/W2110050316","https://openalex.org/W2110795198","https://openalex.org/W2110846749","https://openalex.org/W2111304450","https://openalex.org/W2112236156","https://openalex.org/W2113435553","https://openalex.org/W2113486906","https://openalex.org/W2115762428","https://openalex.org/W2116325485","https://openalex.org/W2122291521","https://openalex.org/W2124192263","https://openalex.org/W2125044336","https://openalex.org/W2129466151","https://openalex.org/W2134338128","https://openalex.org/W2134737716","https://openalex.org/W2134801812","https://openalex.org/W2135274583","https://openalex.org/W2136839747","https://openalex.org/W2141403355","https://openalex.org/W2144329963","https://openalex.org/W2144973245","https://openalex.org/W2151131364","https://openalex.org/W2152855573","https://openalex.org/W2153329411","https://openalex.org/W2161079291","https://openalex.org/W2161825580","https://openalex.org/W2164810907","https://openalex.org/W2166230870","https://openalex.org/W2169611673","https://openalex.org/W2170486381","https://openalex.org/W2188422663","https://openalex.org/W2292263783","https://openalex.org/W2293400264","https://openalex.org/W2293624369","https://openalex.org/W2293797831","https://openalex.org/W2492089900","https://openalex.org/W2493025257","https://openalex.org/W2499596435","https://openalex.org/W2561675875","https://openalex.org/W2588213471","https://openalex.org/W2617307175","https://openalex.org/W2792939069","https://openalex.org/W2799140574","https://openalex.org/W2913534545","https://openalex.org/W2914693551","https://openalex.org/W2942985756","https://openalex.org/W2987907651","https://openalex.org/W3000560506","https://openalex.org/W3009635326","https://openalex.org/W3023216518","https://openalex.org/W3106729728","https://openalex.org/W3146075203","https://openalex.org/W4241527637","https://openalex.org/W4250846042","https://openalex.org/W4251866989","https://openalex.org/W4253748132","https://openalex.org/W4254136620","https://openalex.org/W4285719527","https://openalex.org/W4298860524","https://openalex.org/W4300128858","https://openalex.org/W6600452345","https://openalex.org/W6604904047","https://openalex.org/W6610773549","https://openalex.org/W6632480613","https://openalex.org/W6633003554","https://openalex.org/W6642875934","https://openalex.org/W6644858178","https://openalex.org/W6674545163","https://openalex.org/W6681126893","https://openalex.org/W6684208002","https://openalex.org/W6723232753","https://openalex.org/W6758734656"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1875930651","https://openalex.org/W1590965489"],"abstract_inverted_index":{"This":[0],"roadmap":[1,47],"describes":[2,27],"ways":[3],"that":[4,77],"researchers":[5,95],"in":[6,41,66],"four":[7],"areas---specification":[8],"languages,":[9],"program":[10],"generation,":[11],"correctness":[12],"by":[13],"construction,":[14],"and":[15,58,74,82,102],"programming":[16],"languages---might":[17],"help":[18,51],"further":[19],"the":[20,30,46,55,92],"goal":[21,63],"of":[22],"verified":[23],"software.":[24],"It":[25],"also":[26],"what":[28],"advances":[29],"\"verified":[31],"software\"":[32],"grand":[33,56],"challenge":[34,57],"might":[35],"anticipate":[36],"or":[37],"demand":[38],"from":[39],"work":[40],"these":[42,59,67,100],"areas.":[43],"That":[44],"is,":[45],"is":[48,69],"intended":[49],"to":[50,70,84,98],"foster":[52],"collaboration":[53],"between":[54],"research":[60,65],"areas.A":[61],"common":[62],"for":[64],"areas":[68],"establish":[71],"language":[72],"designs":[73],"tool":[75],"architectures":[76],"would":[78],"allow":[79],"multiple":[80],"annotations":[81,101],"tools":[83],"be":[85],"used":[86],"on":[87],"a":[88],"single":[89],"program.":[90],"In":[91],"long":[93],"term,":[94],"could":[96],"try":[97],"unify":[99],"integrate":[103],"such":[104],"tools.":[105]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}