{"id":"https://openalex.org/W7118950839","doi":"https://doi.org/10.1007/978-3-032-13711-1_5","title":"Find, Use, and Conserve Tools for Formal Methods","display_name":"Find, Use, and Conserve Tools for Formal Methods","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7118950839","doi":"https://doi.org/10.1007/978-3-032-13711-1_5"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-13711-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-13711-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-13711-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-13711-1_5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5120926036","display_name":"Dirk Beyer","orcid":null},"institutions":[{"id":"https://openalex.org/I3018771216","display_name":"LMU Klinikum","ror":"https://ror.org/02jet3w32","country_code":"DE","type":"healthcare","lineage":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]},{"id":"https://openalex.org/I8204097","display_name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","ror":"https://ror.org/05591te55","country_code":"DE","type":"education","lineage":["https://openalex.org/I8204097"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Dirk Beyer","raw_affiliation_strings":["LMU Munich, Munich, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4832-7662","affiliations":[{"raw_affiliation_string":"LMU Munich, Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5120926036"],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":127.625,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.99607843,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"75","last_page":"91"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.5961999893188477,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.5961999893188477,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.04170000180602074,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11937","display_name":"Research Data Management Practices","score":0.034299999475479126,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.820900022983551},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.6833000183105469},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.491100013256073},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4318000078201294},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43160000443458557},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.41260001063346863}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8543000221252441},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.820900022983551},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.6833000183105469},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.598800003528595},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.491100013256073},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43160000443458557},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.41260001063346863},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.40869998931884766},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3709000051021576},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3465999960899353},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.34470000863075256},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.31459999084472656},{"id":"https://openalex.org/C76363472","wikidata":"https://www.wikidata.org/wiki/Q1437394","display_name":"Formal concept analysis","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26589998602867126},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.25209999084472656},{"id":"https://openalex.org/C125502","wikidata":"https://www.wikidata.org/wiki/Q1153279","display_name":"Early adopter","level":2,"score":0.251800000667572}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-13711-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-13711-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-13711-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-13711-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-13711-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-13711-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W7118950839.pdf"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W86290638","https://openalex.org/W153358363","https://openalex.org/W777621473","https://openalex.org/W1419314641","https://openalex.org/W1584352477","https://openalex.org/W1916257639","https://openalex.org/W1923543252","https://openalex.org/W2033018395","https://openalex.org/W2058376835","https://openalex.org/W2077064126","https://openalex.org/W2103779463","https://openalex.org/W2105357036","https://openalex.org/W2105614525","https://openalex.org/W2109595350","https://openalex.org/W2111224220","https://openalex.org/W2119149970","https://openalex.org/W2127574686","https://openalex.org/W2138282870","https://openalex.org/W2148853331","https://openalex.org/W2149907859","https://openalex.org/W2158395308","https://openalex.org/W2161253570","https://openalex.org/W2302501749","https://openalex.org/W2467636347","https://openalex.org/W2477695542","https://openalex.org/W2483771058","https://openalex.org/W2577590554","https://openalex.org/W2600771941","https://openalex.org/W2750327884","https://openalex.org/W2756404343","https://openalex.org/W2765527199","https://openalex.org/W2767365245","https://openalex.org/W2884432391","https://openalex.org/W2926102038","https://openalex.org/W2928427891","https://openalex.org/W2932603064","https://openalex.org/W2934127774","https://openalex.org/W2988671542","https://openalex.org/W2988998130","https://openalex.org/W2995422495","https://openalex.org/W2998575274","https://openalex.org/W2998743141","https://openalex.org/W3017047012","https://openalex.org/W3018258206","https://openalex.org/W3018689464","https://openalex.org/W3082634688","https://openalex.org/W3136076070","https://openalex.org/W3137473159","https://openalex.org/W3137985772","https://openalex.org/W3138999919","https://openalex.org/W3139291116","https://openalex.org/W4225474367","https://openalex.org/W4225637722","https://openalex.org/W4226246074","https://openalex.org/W4226321534","https://openalex.org/W4226327271","https://openalex.org/W4281968516","https://openalex.org/W4306962609","https://openalex.org/W4307177191","https://openalex.org/W4312873104","https://openalex.org/W4366447011","https://openalex.org/W4366448931","https://openalex.org/W4366448941","https://openalex.org/W4366449979","https://openalex.org/W4384009635","https://openalex.org/W4393942723","https://openalex.org/W4393942795","https://openalex.org/W4393942888","https://openalex.org/W4393954582","https://openalex.org/W4393978537","https://openalex.org/W4402496202","https://openalex.org/W6930050706","https://openalex.org/W6948875487"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"The":[1,49,117,143],"research":[2,60,191],"area":[3],"of":[4,29,54,59,80,197,207],"formal":[5,22,70,83,104],"methods":[6,23,71,84,105],"has":[7],"made":[8],"enormous":[9],"progress":[10],"in":[11,76,106,149,216],"the":[12,57,180,204,211,217],"last":[13],"20":[14],"years,":[15],"and":[16,36,38,51,56,74,97,134,154,176,189,210],"many":[17,28],"tools":[18,31,68,81,102,124,198,213],"exist":[19],"to":[20,24,34,45,93,138,161],"apply":[21],"practical":[25],"problems.":[26],"Unfortunately,":[27],"these":[30],"are":[32,41,125,129,147,171,202,214],"difficult":[33],"find":[35],"install,":[37],"often":[39],"they":[40],"not":[42],"executable":[43],"due":[44],"missing":[46],"installation":[47],"requirements.":[48],"findability":[50],"wide":[52],"adoption":[53],"tools,":[55],"reproducibility":[58],"results,":[61],"could":[62],"be":[63],"improved":[64],"if":[65],"all":[66],"major":[67],"for":[69,82,103,131,140,155,183,199],"were":[72],"conserved":[73],"documented":[75],"a":[77,91,107],"central":[78,108],"repository":[79,118,182,218],"(cf.":[85],"FAIR":[86],"principles).":[87],"This":[88],"paper":[89],"describes":[90],"solution":[92],"this":[94,208],"problem:":[95],"Collect":[96],"maintain":[98],"essential":[99],"data":[100],"about":[101],"repository,":[109],"called":[110],"FM-Tools":[111,181],",":[112],"available":[113],"at":[114,152],"https://gitlab.com/sosy-lab/benchmarking/fm-tools":[115],".":[116],"contains":[119],"metadata,":[120],"such":[121],"as":[122],"which":[123,127,170],"available,":[126],"versions":[128],"advertized":[130],"each":[132],"tool,":[133],"what":[135],"command-line":[136],"arguments":[137],"use":[139],"default":[141],"usage.":[142],"actual":[144],"tool":[145,150],"executables":[146],"stored":[148],"archives":[151],"Zenodo,":[153],"technically":[156],"deep":[157],"documentation,":[158],"references":[159],"point":[160],"archived":[162],"publications":[163],"or":[164],"project":[165],"web":[166],"sites.":[167],"Two":[168],"communities,":[169],"concerned":[172],"with":[173,193],"software":[174,200],"verification":[175],"testing,":[177],"already":[178],"adopted":[179],"their":[184,194],"comparative":[185],"evaluations.":[186],"Andreas":[187],"Podelski":[188],"his":[190],"group,":[192],"Ultimate":[195,212],"family":[196],"verification,":[201],"among":[203],"early":[205],"adopters":[206],"strategy,":[209],"included":[215],"from":[219],"its":[220],"beginning.":[221]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2026-01-08T00:00:00"}