{"id":"https://openalex.org/W7154510147","doi":"https://doi.org/10.1007/978-3-032-22749-2_23","title":"Evaluating Software Verifiers for C, Java, and SV-LIB","display_name":"Evaluating Software Verifiers for C, Java, and SV-LIB","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7154510147","doi":"https://doi.org/10.1007/978-3-032-22749-2_23"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-22749-2_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22749-2_23","pdf_url":null,"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":null,"license_id":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5133666099","display_name":"Dirk Beyer","orcid":"https://orcid.org/0000-0003-4832-7662"},"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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5133672210","display_name":"Jan Strej\u010dek","orcid":"https://orcid.org/0000-0001-5873-403X"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Jan Strej\u010dek","raw_affiliation_strings":["Masaryk University, Brno, Czechia"],"raw_orcid":"https://orcid.org/0000-0001-5873-403X","affiliations":[{"raw_affiliation_string":"Masaryk University, Brno, Czechia","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5133666099"],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":53.3333,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.99497487,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"461","last_page":"502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.34619998931884766,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.34619998931884766,"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/T10260","display_name":"Software Engineering Research","score":0.18299999833106995,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.1459999978542328,"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/validator","display_name":"Validator","score":0.7235000133514404},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6248999834060669},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6055999994277954},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5238999724388123},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5235000252723694},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.46869999170303345},{"id":"https://openalex.org/keywords/track","display_name":"Track (disk drive)","score":0.3955000042915344},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.3612000048160553}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.861299991607666},{"id":"https://openalex.org/C35292069","wikidata":"https://www.wikidata.org/wiki/Q1575458","display_name":"Validator","level":2,"score":0.7235000133514404},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6248999834060669},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6055999994277954},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5238999724388123},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5235000252723694},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.46869999170303345},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.42289999127388},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.39879998564720154},{"id":"https://openalex.org/C89992363","wikidata":"https://www.wikidata.org/wiki/Q5961558","display_name":"Track (disk drive)","level":2,"score":0.3955000042915344},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.3612000048160553},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.3452000021934509},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.3440000116825104},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.31049999594688416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30889999866485596},{"id":"https://openalex.org/C82214349","wikidata":"https://www.wikidata.org/wiki/Q657339","display_name":"Software metric","level":5,"score":0.2957000136375427},{"id":"https://openalex.org/C202105479","wikidata":"https://www.wikidata.org/wiki/Q265013","display_name":"Software evolution","level":5,"score":0.28529998660087585},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.2840000092983246},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.27970001101493835},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2791000008583069},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27720001339912415},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.27149999141693115},{"id":"https://openalex.org/C2776900844","wikidata":"https://www.wikidata.org/wiki/Q8028383","display_name":"Witness","level":2,"score":0.25699999928474426},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2535000145435333}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-22749-2_23","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-032-22749-2_23","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":153,"referenced_works":["https://openalex.org/W70032344","https://openalex.org/W72876461","https://openalex.org/W95161029","https://openalex.org/W165943180","https://openalex.org/W241804591","https://openalex.org/W327452528","https://openalex.org/W577336618","https://openalex.org/W1419314641","https://openalex.org/W1517351977","https://openalex.org/W1839583963","https://openalex.org/W1923543252","https://openalex.org/W1992012690","https://openalex.org/W2045238089","https://openalex.org/W2078988604","https://openalex.org/W2086631793","https://openalex.org/W2119142490","https://openalex.org/W2129538349","https://openalex.org/W2149907859","https://openalex.org/W2179309410","https://openalex.org/W2467636347","https://openalex.org/W2474562651","https://openalex.org/W2483771058","https://openalex.org/W2501678966","https://openalex.org/W2508576555","https://openalex.org/W2542671290","https://openalex.org/W2548985278","https://openalex.org/W2555865845","https://openalex.org/W2600771941","https://openalex.org/W2603044584","https://openalex.org/W2750327884","https://openalex.org/W2756404343","https://openalex.org/W2758909434","https://openalex.org/W2765527199","https://openalex.org/W2767365245","https://openalex.org/W2803369237","https://openalex.org/W2805419234","https://openalex.org/W2806600916","https://openalex.org/W2808095428","https://openalex.org/W2913717796","https://openalex.org/W2929832674","https://openalex.org/W2932603064","https://openalex.org/W2934127774","https://openalex.org/W2934813222","https://openalex.org/W2951009962","https://openalex.org/W2956182160","https://openalex.org/W2988671542","https://openalex.org/W2998575274","https://openalex.org/W2998743141","https://openalex.org/W2999366812","https://openalex.org/W3011243682","https://openalex.org/W3016553493","https://openalex.org/W3016591891","https://openalex.org/W3016735677","https://openalex.org/W3016957486","https://openalex.org/W3017047012","https://openalex.org/W3017214311","https://openalex.org/W3043762393","https://openalex.org/W3095171352","https://openalex.org/W3105410168","https://openalex.org/W3136521622","https://openalex.org/W3136901529","https://openalex.org/W3137473159","https://openalex.org/W3137985772","https://openalex.org/W3138999919","https://openalex.org/W3139291116","https://openalex.org/W3173393562","https://openalex.org/W4200340358","https://openalex.org/W4225474367","https://openalex.org/W4225503923","https://openalex.org/W4225751037","https://openalex.org/W4226029302","https://openalex.org/W4226083129","https://openalex.org/W4226168343","https://openalex.org/W4226246074","https://openalex.org/W4226288603","https://openalex.org/W4226327271","https://openalex.org/W4226382273","https://openalex.org/W4226394121","https://openalex.org/W4226455122","https://openalex.org/W4281723389","https://openalex.org/W4281968516","https://openalex.org/W4297901147","https://openalex.org/W4298325236","https://openalex.org/W4312310290","https://openalex.org/W4366446501","https://openalex.org/W4366446538","https://openalex.org/W4366447011","https://openalex.org/W4366447067","https://openalex.org/W4366448931","https://openalex.org/W4366448941","https://openalex.org/W4366449580","https://openalex.org/W4366451377","https://openalex.org/W4366451538","https://openalex.org/W4366453097","https://openalex.org/W4388482970","https://openalex.org/W4393942709","https://openalex.org/W4393942723","https://openalex.org/W4393942726","https://openalex.org/W4393942738","https://openalex.org/W4393942742","https://openalex.org/W4393942765","https://openalex.org/W4393942795","https://openalex.org/W4393942804","https://openalex.org/W4393942872","https://openalex.org/W4393942880","https://openalex.org/W4393954449","https://openalex.org/W4402442998","https://openalex.org/W4402496461","https://openalex.org/W4403345012","https://openalex.org/W4403536910","https://openalex.org/W4403943619","https://openalex.org/W4406714352","https://openalex.org/W4406755408","https://openalex.org/W4409967201","https://openalex.org/W4409967202","https://openalex.org/W4409967208","https://openalex.org/W4409967219","https://openalex.org/W4409967220","https://openalex.org/W4409967258","https://openalex.org/W4409967259","https://openalex.org/W4409967413","https://openalex.org/W4409967415","https://openalex.org/W4409967424","https://openalex.org/W4410034067","https://openalex.org/W4410042245","https://openalex.org/W4416790888","https://openalex.org/W6891585317","https://openalex.org/W7084750090","https://openalex.org/W7115593774","https://openalex.org/W7125931812","https://openalex.org/W7127147285","https://openalex.org/W7128947543","https://openalex.org/W7128956861","https://openalex.org/W7128973821","https://openalex.org/W7129094850","https://openalex.org/W7129108146","https://openalex.org/W7129345574","https://openalex.org/W7154446866","https://openalex.org/W7154450121","https://openalex.org/W7154455204","https://openalex.org/W7154455269","https://openalex.org/W7154464657","https://openalex.org/W7154473308","https://openalex.org/W7154475241","https://openalex.org/W7154478872","https://openalex.org/W7154485600","https://openalex.org/W7154486806","https://openalex.org/W7154492961","https://openalex.org/W7154506264","https://openalex.org/W7154506450","https://openalex.org/W7154509273","https://openalex.org/W7154530539","https://openalex.org/W7154624294"],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":4}],"updated_date":"2026-04-17T05:58:53.018234","created_date":"2026-04-16T00:00:00"}