{"id":"https://openalex.org/W3099610013","doi":"https://doi.org/10.1145/3357231","title":"New Opportunities for Integrated Formal Methods","display_name":"New Opportunities for Integrated Formal Methods","publication_year":2019,"publication_date":"2019-10-16","ids":{"openalex":"https://openalex.org/W3099610013","doi":"https://doi.org/10.1145/3357231","mag":"3099610013"},"language":"en","primary_location":{"id":"doi:10.1145/3357231","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357231","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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 Computing Surveys","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1812.10103","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Mario Gleirscher","orcid":"https://orcid.org/0000-0002-9445-6863"},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Mario Gleirscher","raw_affiliation_strings":["University of York, Heslington, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, Heslington, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Simon Foster","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Foster","raw_affiliation_strings":["University of York, Heslington, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, Heslington, York, UK","institution_ids":["https://openalex.org/I52099693"]}]},{"author_position":"last","author":{"id":null,"display_name":"Jim Woodcock","orcid":null},"institutions":[{"id":"https://openalex.org/I52099693","display_name":"University of York","ror":"https://ror.org/04m01e293","country_code":"GB","type":"education","lineage":["https://openalex.org/I52099693"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jim Woodcock","raw_affiliation_strings":["University of York, Heslington, York, UK"],"affiliations":[{"raw_affiliation_string":"University of York, Heslington, York, UK","institution_ids":["https://openalex.org/I52099693"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I52099693"],"apc_list":null,"apc_paid":null,"fwci":3.7708,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.92924494,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"52","issue":"6","first_page":"1","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9088000059127808,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9088000059127808,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T10142","display_name":"Formal Methods in Verification","score":0.021700000390410423,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.011699999682605267,"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/dependability","display_name":"Dependability","score":0.7515000104904175},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6435999870300293},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.5078999996185303},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.42800000309944153},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.40869998931884766},{"id":"https://openalex.org/keywords/empirical-research","display_name":"Empirical research","score":0.33550000190734863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7807000279426575},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.7515000104904175},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6435999870300293},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.5078999996185303},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46000000834465027},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.42800000309944153},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.40869998931884766},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.35569998621940613},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3433000147342682},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.3395000100135803},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.33550000190734863},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3285999894142151},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.3192000091075897},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.31540000438690186},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.30979999899864197},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.296999990940094},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.2671999931335449},{"id":"https://openalex.org/C2985879086","wikidata":"https://www.wikidata.org/wiki/Q1061910","display_name":"Technology transfer","level":2,"score":0.2655999958515167},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.26440000534057617}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3357231","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3357231","pdf_url":null,"source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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 Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1812.10103","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1812.10103","pdf_url":"https://arxiv.org/pdf/1812.10103","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1812.10103","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1812.10103","pdf_url":"https://arxiv.org/pdf/1812.10103","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1058556230","display_name":null,"funder_award_id":"EP/R025479/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2437191561","display_name":null,"funder_award_id":"381212925","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G4590650305","display_name":null,"funder_award_id":"EP/S001190/1, EP/M025756/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4796088780","display_name":null,"funder_award_id":"EP/M025756/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":85,"referenced_works":["https://openalex.org/W1481659984","https://openalex.org/W1537448361","https://openalex.org/W1549441918","https://openalex.org/W1551782231","https://openalex.org/W1574837706","https://openalex.org/W1578632748","https://openalex.org/W1894339932","https://openalex.org/W1975051432","https://openalex.org/W1976054113","https://openalex.org/W1990787548","https://openalex.org/W1993836075","https://openalex.org/W1997809363","https://openalex.org/W2010954288","https://openalex.org/W2012152371","https://openalex.org/W2028025798","https://openalex.org/W2029096732","https://openalex.org/W2045895677","https://openalex.org/W2048417351","https://openalex.org/W2053276292","https://openalex.org/W2060539553","https://openalex.org/W2062251861","https://openalex.org/W2076609859","https://openalex.org/W2077359497","https://openalex.org/W2077963352","https://openalex.org/W2082434633","https://openalex.org/W2085857634","https://openalex.org/W2087713039","https://openalex.org/W2089702347","https://openalex.org/W2094352021","https://openalex.org/W2105005227","https://openalex.org/W2106901380","https://openalex.org/W2112337853","https://openalex.org/W2114754412","https://openalex.org/W2117689522","https://openalex.org/W2122786779","https://openalex.org/W2124481663","https://openalex.org/W2127118596","https://openalex.org/W2127159302","https://openalex.org/W2130560480","https://openalex.org/W2144687289","https://openalex.org/W2145071552","https://openalex.org/W2146679277","https://openalex.org/W2151365953","https://openalex.org/W2152279394","https://openalex.org/W2158511535","https://openalex.org/W2159895118","https://openalex.org/W2159942800","https://openalex.org/W2163178194","https://openalex.org/W2163313306","https://openalex.org/W2164439053","https://openalex.org/W2165298051","https://openalex.org/W2169887034","https://openalex.org/W2199331404","https://openalex.org/W2285970137","https://openalex.org/W2338161037","https://openalex.org/W2498498356","https://openalex.org/W2504421683","https://openalex.org/W2517408795","https://openalex.org/W2550384761","https://openalex.org/W2576845151","https://openalex.org/W2606126819","https://openalex.org/W2741850214","https://openalex.org/W2756396550","https://openalex.org/W2760508920","https://openalex.org/W2770103357","https://openalex.org/W2810768857","https://openalex.org/W2856779992","https://openalex.org/W2892470827","https://openalex.org/W2893106650","https://openalex.org/W2893203399","https://openalex.org/W2894577482","https://openalex.org/W2900549024","https://openalex.org/W2903822982","https://openalex.org/W2911517342","https://openalex.org/W2913028917","https://openalex.org/W2948700248","https://openalex.org/W2972903877","https://openalex.org/W3151105299","https://openalex.org/W4206312500","https://openalex.org/W4212949860","https://openalex.org/W4237492309","https://openalex.org/W4241859741","https://openalex.org/W4241988078","https://openalex.org/W4245144701","https://openalex.org/W4296471858"],"related_works":[],"abstract_inverted_index":{"Formal":[0],"methods":[1,53,81],"have":[2,12],"provided":[3],"approaches":[4],"for":[5,50,73,83],"investigating":[6],"software":[7],"engineering":[8],"fundamentals":[9],"and":[10,29,42,54,67,75,82],"also":[11],"high":[13],"potential":[14],"to":[15,57,89],"improve":[16],"current":[17],"practices":[18],"in":[19],"dependability":[20],"assurance.":[21,91],"In":[22],"this":[23],"article,":[24],"we":[25,46,69,93],"summarise":[26],"known":[27],"strengths":[28],"weaknesses":[30],"of":[31,37,40,60,86,100],"formal":[32,52,80],"methods.":[33,62],"From":[34],"the":[35,38,58],"perspective":[36],"assurance":[39],"robots":[41],"autonomous":[43],"systems":[44],"(RAS),":[45],"highlight":[47],"new":[48],"opportunities":[49,66],"integrated":[51,79],"identify":[55],"threats":[56],"adoption":[59],"such":[61,101],"Based":[63],"on":[64,78,97],"these":[65],"threats,":[68],"develop":[70],"an":[71,102],"agenda":[72],"fundamental":[74],"empirical":[76],"research":[77,88],"successful":[84],"transfer":[85],"validated":[87],"RAS":[90],"Furthermore,":[92],"outline":[94],"our":[95],"expectations":[96],"useful":[98],"outcomes":[99],"agenda.":[103]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2020-11-23T00:00:00"}