{"id":"https://openalex.org/W2735989980","doi":"https://doi.org/10.29007/k317","title":"More Automated Formal Methods?! If so, why, where & how?","display_name":"More Automated Formal Methods?! If so, why, where & how?","publication_year":2018,"publication_date":"2018-05-04","ids":{"openalex":"https://openalex.org/W2735989980","doi":"https://doi.org/10.29007/k317","mag":"2735989980"},"language":"en","primary_location":{"id":"doi:10.29007/k317","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k317","pdf_url":"https://easychair.org/publications/open/px3h","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://easychair.org/publications/open/px3h","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024356449","display_name":"Arun Chakrapani Rao","orcid":null},"institutions":[{"id":"https://openalex.org/I39555362","display_name":"University of Warwick","ror":"https://ror.org/01a77tt86","country_code":"GB","type":"education","lineage":["https://openalex.org/I39555362"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Arun Chakrapani Rao","raw_affiliation_strings":["Warwick Manufacturing Group (WMG), University of Warwick, Coventry CV4 7AL, UK A"],"affiliations":[{"raw_affiliation_string":"Warwick Manufacturing Group (WMG), University of Warwick, Coventry CV4 7AL, UK A","institution_ids":["https://openalex.org/I39555362"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5024356449"],"corresponding_institution_ids":["https://openalex.org/I39555362"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02060871,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":null,"first_page":"50","last_page":"36"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980000257492065,"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.9965000152587891,"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/automation","display_name":"Automation","score":0.8310166597366333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6755969524383545},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6713813543319702},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.6057409644126892},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.5304495692253113},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4987010955810547},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.45474669337272644},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3685827851295471},{"id":"https://openalex.org/keywords/engineering-management","display_name":"Engineering management","score":0.33818554878234863},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2441767454147339},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.20456945896148682}],"concepts":[{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.8310166597366333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6755969524383545},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6713813543319702},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.6057409644126892},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.5304495692253113},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4987010955810547},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.45474669337272644},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3685827851295471},{"id":"https://openalex.org/C110354214","wikidata":"https://www.wikidata.org/wiki/Q6314146","display_name":"Engineering management","level":1,"score":0.33818554878234863},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2441767454147339},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.20456945896148682},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/k317","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k317","pdf_url":"https://easychair.org/publications/open/px3h","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:wrap.warwick.ac.uk:101181","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306400665","display_name":"Warwick Research Archive Portal (University of Warwick)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39555362","host_organization_name":"University of Warwick","host_organization_lineage":["https://openalex.org/I39555362"],"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 Item"}],"best_oa_location":{"id":"doi:10.29007/k317","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k317","pdf_url":"https://easychair.org/publications/open/px3h","source":{"id":"https://openalex.org/S4220650884","display_name":"Kalpa publications in computing","issn_l":"2515-1762","issn":["2515-1762"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kalpa Publications in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2735989980.pdf","grobid_xml":"https://content.openalex.org/works/W2735989980.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1481028942","https://openalex.org/W1535589004","https://openalex.org/W1595158423","https://openalex.org/W1802815921","https://openalex.org/W1914761869","https://openalex.org/W2008520761","https://openalex.org/W2108618242","https://openalex.org/W2119671379","https://openalex.org/W2166941896","https://openalex.org/W2254453904","https://openalex.org/W2272118110","https://openalex.org/W2330370857","https://openalex.org/W2508333642","https://openalex.org/W2606569048","https://openalex.org/W2913046653","https://openalex.org/W4213187613","https://openalex.org/W6685057455"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4232403550","https://openalex.org/W623607250","https://openalex.org/W4245429118","https://openalex.org/W4205110281","https://openalex.org/W4212927854","https://openalex.org/W1587246512","https://openalex.org/W2488581006","https://openalex.org/W2913714777","https://openalex.org/W61995002"],"abstract_inverted_index":{"Formal":[0],"Methods":[1],"(FM)":[2],"have":[3,10,22],"been":[4,11,23],"around":[5],"for":[6,97,128],"decades":[7],"and":[8,20,36,75,88,115,124],"many":[9],"improving":[12],"all":[13],"the":[14,109,116],"time.":[15],"Automated":[16],"formal":[17,73],"methods":[18,74],"techniques":[19],"tools":[21],"making":[24],"a":[25],"mark":[26],"in":[27,70],"real":[28],"world":[29,110],"applications":[30],"across":[31],"industry":[32],"domains.":[33],"So,":[34],"why":[35],"where":[37,56,81],"do":[38],"we":[39,59,82],"need":[40,84],"more":[41],"automation?":[42],"How":[43],"much":[44],"automation":[45,95],"is":[46,103,113,126],"required?":[47],"This":[48],"paper":[49],"attempts":[50],"to":[51,85,87,105],"cover":[52],"an":[53],"assessment":[54],"on":[55,62],"I":[57],"believe":[58],"are,":[60],"based":[61,77],"my":[63],"own":[64],"not-so-limited":[65],"but":[66],"diverse":[67],"enough":[68],"experience":[69],"automated":[71],"industry-strength":[72],"model":[76],"systems":[78],"engineering":[79],"area,":[80],"might":[83],"get":[86],"possibly":[89],"how.":[90],"Key":[91],"characteristics":[92],"of":[93,111,119],"future":[94,134],"needed":[96,127],"success":[98],"are":[99],"outlined.":[100],"No":[101],"attempt":[102],"made":[104],"be":[106],"exhaustive":[107],"as":[108],"FMs":[112],"vast":[114],"collective":[117],"work":[118],"FM":[120,138],"expert":[121],"researchers,":[122],"developers":[123],"users":[125],"exploration":[129],"\u2013":[130],"\u201cto":[131],"boldly":[132],"meet":[133],"challenges":[135],"which":[136],"no":[137],"has":[139],"ever":[140],"met":[141],"before\u201d!":[142]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}