{"id":"https://openalex.org/W2011606665","doi":"https://doi.org/10.1109/2.375178","title":"Ten commandments of formal methods","display_name":"Ten commandments of formal methods","publication_year":1995,"publication_date":"1995-04-01","ids":{"openalex":"https://openalex.org/W2011606665","doi":"https://doi.org/10.1109/2.375178","mag":"2011606665"},"language":"en","primary_location":{"id":"doi:10.1109/2.375178","doi":"https://doi.org/10.1109/2.375178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/2.375178","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-2","norway-2","poland-70","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"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/A5041103024","display_name":"Jonathan Peter Bowen","orcid":"https://orcid.org/0000-0002-8748-6140","observed_orcids":["https://orcid.org/0000-0002-8748-6140"]},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J.P. Bowen","raw_affiliation_strings":["Oxford University, UK","Oxford University (UK)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Oxford University, UK","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Oxford University (UK)#TAB#","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007119340","display_name":"Mike Hinchey","orcid":"https://orcid.org/0000-0001-5110-561X","observed_orcids":["https://orcid.org/0000-0001-5110-561X"]},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"M.G. Hinchey","raw_affiliation_strings":["University of Cambridge, UK","Univ. Of Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Univ. Of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2995,"currency":"USD","value_usd":2995},"apc_paid":null,"fwci":19.8454,"has_fulltext":false,"cited_by_count":257,"citation_normalized_percentile":{"value":0.99756552,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":"28","issue":"4","first_page":"56","last_page":"63"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.961899995803833,"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.961899995803833,"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/T10126","display_name":"Logic, programming, and type systems","score":0.029999999329447746,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.002400000113993883,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.9990000128746033},{"id":"https://openalex.org/keywords/software-correctness","display_name":"software correctness","score":0.6740000247955322},{"id":"https://openalex.org/keywords/software-reliability","display_name":"software reliability","score":0.7300000190734863},{"id":"https://openalex.org/keywords/safety-critical-systems","display_name":"safety-critical systems","score":0.9120000004768372},{"id":"https://openalex.org/keywords/security-critical-systems","display_name":"security-critical systems","score":0.9959999918937683},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6140000224113464},{"id":"https://openalex.org/keywords/software-maintainability","display_name":"software maintainability","score":0.5770000219345093},{"id":"https://openalex.org/keywords/requirements-satisfaction","display_name":"requirements satisfaction","score":0.5519999861717224}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7731046676635742},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7443172931671143},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5292044878005981},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5246924757957458},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.4712548553943634},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4617498219013214},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4168476462364197},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41219183802604675},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21655777096748352},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/2.375178","doi":"https://doi.org/10.1109/2.375178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/2.375178","pdf_url":null,"source":{"id":"https://openalex.org/S178916657","display_name":"Computer","issn_l":"0018-9162","issn":["0018-9162","1558-0814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-class-a","anvur-scientific","cwts-core","dongbi-b","jufo-2","norway-2","poland-70","russia-white-list-1","vabb-shw"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.18.4156","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.18.4156","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.museophile.sbu.ac.uk/pub/jpb/10cs.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.35.1817","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1817","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ece.concordia.ca/~tahar/elec790h/papers/10cs95.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1525223041","https://openalex.org/W1536956420","https://openalex.org/W1547788806","https://openalex.org/W1644864267","https://openalex.org/W2007773305","https://openalex.org/W2060585061","https://openalex.org/W2077359497","https://openalex.org/W2112337853","https://openalex.org/W2114754412","https://openalex.org/W2545372324","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W7006235575","https://openalex.org/W1510747180","https://openalex.org/W2007667212","https://openalex.org/W1982225114","https://openalex.org/W4250105839","https://openalex.org/W4385983939","https://openalex.org/W1966000437","https://openalex.org/W4232280602","https://openalex.org/W4246601224","https://openalex.org/W1545932840"],"abstract_inverted_index":{"Producing":[0],"correct,":[1],"reliable":[2],"software":[3,20,52,146],"in":[4,17,35,116],"systems":[5,60],"of":[6,26,42,61,86,109,160],"ever":[7],"increasing":[8],"complexity":[9],"is":[10,39,89,150],"a":[11,24,29,47,180],"problem":[12,38],"with":[13,171],"no":[14],"immediate":[15],"end":[16],"sight.":[18],"The":[19],"industry":[21,117],"suffers":[22],"from":[23,99],"plague":[25],"bugs":[27],"on":[28,79,131],"near-biblical":[30],"scale.":[31],"One":[32],"promising":[33],"technique":[34],"alleviating":[36],"this":[37],"the":[40,62,84,92,95],"application":[41],"formal":[43,57,80,110,125,141],"methods":[44,58,81,88,111,126,142],"that":[45,124,140,149],"provide":[46],"rigorous":[48],"mathematical":[49],"basis":[50],"to":[51,113],"development.":[53],"When":[54],"correctly":[55],"applied,":[56],"produce":[59,144],"highest":[63],"integrity":[64],"and":[65,72,106,122,133,154,164],"thus":[66],"are":[67,82],"especially":[68],"recommended":[69],"for":[70,183],"security-":[71],"safety-critical":[73],"systems.":[74],"Unfortunately,":[75],"although":[76],"projects":[77,127,143,166],"based":[78],"proliferating,":[83],"use":[85],"these":[87,120,137],"still":[90],"more":[91],"exception":[93],"than":[94],"rule,":[96],"which":[97],"results":[98],"many":[100,161],"misconceptions":[101,121],"regarding":[102],"their":[103],"costs,":[104],"difficulties,":[105],"payoffs.":[107],"Surveys":[108],"applied":[112],"large":[114],"problems":[115],"help":[118],"dispel":[119],"show":[123,139],"can":[128],"be":[129],"completed":[130,163],"schedule":[132],"within":[134],"budget.":[135],"Moreover,":[136],"surveys":[138],"correct":[145],"(and":[147],"hardware)":[148],"well":[151],"structured,":[152],"maintainable,":[153],"satisfies":[155],"customer":[156],"requirements.":[157],"Through":[158],"observations":[159],"recently":[162],"in-progress":[165],"we":[167],"have":[168],"come":[169],"up":[170],"ten":[172],"guidelines":[173],"that,":[174],"if":[175],"adhered":[176],"to,":[177],"greatly":[178],"increase":[179],"project's":[181],"chances":[182],"success.>":[184]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":11},{"year":2013,"cited_by_count":13},{"year":2012,"cited_by_count":10}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}