{"id":"https://openalex.org/W2932603064","doi":"https://doi.org/10.1007/978-3-030-17502-3_1","title":"TOOLympics 2019: An Overview of Competitions in Formal Methods","display_name":"TOOLympics 2019: An Overview of Competitions in Formal Methods","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2932603064","doi":"https://doi.org/10.1007/978-3-030-17502-3_1","mag":"2932603064"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17502-3_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3_1","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":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-396455","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050836932","display_name":"Ezio Bartocci","orcid":"https://orcid.org/0000-0002-8004-6601"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ezio Bartocci","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071340047","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"],"affiliations":[{"raw_affiliation_string":"LMU Munich, Munich, Germany","institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009794697","display_name":"Paul E. Black","orcid":"https://orcid.org/0000-0002-7561-6614"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paul E. Black","raw_affiliation_strings":["NIST, Gaithersburg, USA"],"affiliations":[{"raw_affiliation_string":"NIST, Gaithersburg, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027818967","display_name":"Grigory Fedyukovich","orcid":"https://orcid.org/0000-0003-1727-4043"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grigory Fedyukovich","raw_affiliation_strings":["Princeton University, Princeton, USA"],"affiliations":[{"raw_affiliation_string":"Princeton University, Princeton, USA","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022400989","display_name":"Hubert Garavel","orcid":null},"institutions":[{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101348","display_name":"Centre Inria de l'Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/00n8d6z93","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210101348"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hubert Garavel","raw_affiliation_strings":["Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Grenoble, France","institution_ids":["https://openalex.org/I4210101348","https://openalex.org/I1294671590","https://openalex.org/I106785703","https://openalex.org/I4210104430","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007673197","display_name":"Arnd Hartmanns","orcid":"https://orcid.org/0000-0003-3268-8674"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arnd Hartmanns","raw_affiliation_strings":["University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045181048","display_name":"Marieke Huisman","orcid":"https://orcid.org/0000-0003-4467-072X"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marieke Huisman","raw_affiliation_strings":["University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039526664","display_name":"Fabrice Kordon","orcid":"https://orcid.org/0000-0002-5626-828X"},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Kordon","raw_affiliation_strings":["Sorbonne Universit\u00e9, Paris, France"],"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045451143","display_name":"Julian Nagele","orcid":"https://orcid.org/0000-0002-4727-4637"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Julian Nagele","raw_affiliation_strings":["Queen Mary University of London, London, UK"],"affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, UK","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047029242","display_name":"Mihaela Sighireanu","orcid":"https://orcid.org/0000-0002-1925-089X"},"institutions":[{"id":"https://openalex.org/I169173203","display_name":"D\u00e9l\u00e9gation Paris 7","ror":"https://ror.org/00bw5n526","country_code":"FR","type":"government","lineage":["https://openalex.org/I154526488","https://openalex.org/I169173203"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mihaela Sighireanu","raw_affiliation_strings":["University Paris Diderot, Paris, France"],"affiliations":[{"raw_affiliation_string":"University Paris Diderot, Paris, France","institution_ids":["https://openalex.org/I169173203","https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078808456","display_name":"Bernhard Steffen","orcid":"https://orcid.org/0000-0001-9619-1558"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Steffen","raw_affiliation_strings":["TU Dortmund, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065681566","display_name":"Martin Suda","orcid":"https://orcid.org/0000-0003-0989-5800"},"institutions":[{"id":"https://openalex.org/I44504214","display_name":"Czech Technical University in Prague","ror":"https://ror.org/03kqpb082","country_code":"CZ","type":"education","lineage":["https://openalex.org/I44504214"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Martin Suda","raw_affiliation_strings":["Czech Technical University in Prague, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Czech Technical University in Prague, Prague, Czech Republic","institution_ids":["https://openalex.org/I44504214"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051126529","display_name":"Geoff Sutcliffe","orcid":"https://orcid.org/0000-0001-9120-3927"},"institutions":[{"id":"https://openalex.org/I145608581","display_name":"University of Miami","ror":"https://ror.org/02dgjyy92","country_code":"US","type":"education","lineage":["https://openalex.org/I145608581"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Geoff Sutcliffe","raw_affiliation_strings":["University of Miami, Coral Gable, USA"],"affiliations":[{"raw_affiliation_string":"University of Miami, Coral Gable, USA","institution_ids":["https://openalex.org/I145608581"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083906333","display_name":"Tjark Weber","orcid":"https://orcid.org/0000-0001-8967-6987"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Tjark Weber","raw_affiliation_strings":["Uppsala University, Uppsala, Sweden"],"affiliations":[{"raw_affiliation_string":"Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003947273","display_name":"Akihisa Yamada","orcid":"https://orcid.org/0000-0001-8872-2240"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akihisa Yamada","raw_affiliation_strings":["NII, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"NII, Tokyo, Japan","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":8,"institutions_distinct_count":15,"corresponding_author_ids":["https://openalex.org/A5071340047"],"corresponding_institution_ids":["https://openalex.org/I3018771216","https://openalex.org/I8204097"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":16.1381,"has_fulltext":true,"cited_by_count":45,"citation_normalized_percentile":{"value":0.99328132,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"3","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"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.9976000189781189,"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/computer-science","display_name":"Computer science","score":0.7629269361495972},{"id":"https://openalex.org/keywords/presentation","display_name":"Presentation (obstetrics)","score":0.6648767590522766},{"id":"https://openalex.org/keywords/competition","display_name":"Competition (biology)","score":0.6496940851211548},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5477400422096252},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42577311396598816},{"id":"https://openalex.org/keywords/work","display_name":"Work (physics)","score":0.4239423871040344},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.4196268320083618},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11024948954582214}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7629269361495972},{"id":"https://openalex.org/C2777601897","wikidata":"https://www.wikidata.org/wiki/Q3409113","display_name":"Presentation (obstetrics)","level":2,"score":0.6648767590522766},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.6496940851211548},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5477400422096252},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42577311396598816},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.4239423871040344},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.4196268320083618},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11024948954582214},{"id":"https://openalex.org/C126838900","wikidata":"https://www.wikidata.org/wiki/Q77604","display_name":"Radiology","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-030-17502-3_1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-17502-3_1","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"},{"id":"pmh:oai:DiVA.org:uu-396455","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-396455","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},{"id":"pmh:oai:HAL:hal-02094030v1","is_oa":false,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-02094030","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Apr 2019, Prague, Czech Republic. pp.3-24, ⟨10.1007/978-3-030-17502-3_1⟩","raw_type":"Conference papers"},{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/56673","is_oa":false,"landing_page_url":"https://qmro.qmul.ac.uk/xmlui/handle/123456789/56673","pdf_url":null,"source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceeding"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/a0854ba3-d21c-4ce6-a1e4-634db23e312c","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/a0854ba3-d21c-4ce6-a1e4-634db23e312c","pdf_url":null,"source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bartocci , E , Beyer , D , Black , P E , Fedyukovich , G , Garavel , H , Hartmanns , A , Huisman , M , Kordon , F , Nagele , J , Sighireanu , M , Steffen , B , Suda , M , Sutcliffe , G , Weber , T & Yamada , A 2019 , TOOLympics 2019 : An Overview of Competitions in Formal Methods . in D Beyer , M Huisman , F Kordon & B Steffen (eds) , Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS . Lecture Notes in Computer Science , vol. 11429 , Springer , Cham , pp. 3-24 , European Joint Conferences on Theory and Practice of Software, ETAPS 2019 , Prague , Czech Republic , 6/04/19 . https://doi.org/10.1007/978-3-030-17502-3_1","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:uu-396455","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-396455","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference paper"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"},{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":114,"referenced_works":["https://openalex.org/W66489457","https://openalex.org/W70032344","https://openalex.org/W86290638","https://openalex.org/W95161029","https://openalex.org/W105566936","https://openalex.org/W165349349","https://openalex.org/W205991341","https://openalex.org/W241804591","https://openalex.org/W333834217","https://openalex.org/W346140615","https://openalex.org/W400806380","https://openalex.org/W565454175","https://openalex.org/W577336618","https://openalex.org/W1419314641","https://openalex.org/W1464848965","https://openalex.org/W1480295835","https://openalex.org/W1480297506","https://openalex.org/W1483865431","https://openalex.org/W1526453654","https://openalex.org/W1541525032","https://openalex.org/W1566273688","https://openalex.org/W1572801864","https://openalex.org/W1575813943","https://openalex.org/W1579891436","https://openalex.org/W1584155694","https://openalex.org/W1689403734","https://openalex.org/W1821440096","https://openalex.org/W1848718052","https://openalex.org/W1864649459","https://openalex.org/W1946985707","https://openalex.org/W1975799355","https://openalex.org/W1982849299","https://openalex.org/W1985859852","https://openalex.org/W1994843883","https://openalex.org/W1997221584","https://openalex.org/W2011858119","https://openalex.org/W2026692379","https://openalex.org/W2033901233","https://openalex.org/W2034301067","https://openalex.org/W2086631793","https://openalex.org/W2091890571","https://openalex.org/W2096370316","https://openalex.org/W2107844863","https://openalex.org/W2111224220","https://openalex.org/W2117468343","https://openalex.org/W2124207853","https://openalex.org/W2128543030","https://openalex.org/W2132051278","https://openalex.org/W2133816730","https://openalex.org/W2136177401","https://openalex.org/W2144576644","https://openalex.org/W2148216723","https://openalex.org/W2150010935","https://openalex.org/W2160767434","https://openalex.org/W2194993457","https://openalex.org/W2231402397","https://openalex.org/W2293303356","https://openalex.org/W2339388938","https://openalex.org/W2345860162","https://openalex.org/W2398861860","https://openalex.org/W2405051693","https://openalex.org/W2474562651","https://openalex.org/W2477695542","https://openalex.org/W2509328669","https://openalex.org/W2528081193","https://openalex.org/W2548985278","https://openalex.org/W2603044584","https://openalex.org/W2604459184","https://openalex.org/W2604968291","https://openalex.org/W2608117835","https://openalex.org/W2735934205","https://openalex.org/W2736652413","https://openalex.org/W2743936024","https://openalex.org/W2765527199","https://openalex.org/W2767819494","https://openalex.org/W2769144151","https://openalex.org/W2789551577","https://openalex.org/W2800309713","https://openalex.org/W2885746554","https://openalex.org/W2890569340","https://openalex.org/W2899225006","https://openalex.org/W2899246838","https://openalex.org/W2901878185","https://openalex.org/W2912421483","https://openalex.org/W2915286133","https://openalex.org/W2916277197","https://openalex.org/W2916517058","https://openalex.org/W2917421790","https://openalex.org/W2925395957","https://openalex.org/W2926102038","https://openalex.org/W2927040248","https://openalex.org/W2927088448","https://openalex.org/W2928599038","https://openalex.org/W2929166152","https://openalex.org/W2929347481","https://openalex.org/W2929832674","https://openalex.org/W2932074657","https://openalex.org/W2933787445","https://openalex.org/W2935588095","https://openalex.org/W2942066171","https://openalex.org/W3020984105","https://openalex.org/W3021516352","https://openalex.org/W3023360223","https://openalex.org/W4232812549","https://openalex.org/W4234001087","https://openalex.org/W4236606692","https://openalex.org/W4238923739","https://openalex.org/W4242147496","https://openalex.org/W4246708745","https://openalex.org/W4249545655","https://openalex.org/W4251498572","https://openalex.org/W4255289659","https://openalex.org/W4301259899","https://openalex.org/W4323238794"],"related_works":["https://openalex.org/W4387426029","https://openalex.org/W4254162896","https://openalex.org/W4388792380","https://openalex.org/W1477999932","https://openalex.org/W4386731653","https://openalex.org/W2376001620","https://openalex.org/W2925303117","https://openalex.org/W3167529338","https://openalex.org/W4285219045","https://openalex.org/W2072343831"],"abstract_inverted_index":{"Evaluation":[0],"of":[1,20,42,50,90,98,156,174,183,186,190],"scientific":[2],"contributions":[3],"can":[4],"be":[5,123],"done":[6],"in":[7,45,54,72,82,117,144],"many":[8],"different":[9],"ways.":[10],"For":[11],"the":[12,18,25,35,40,43,55,79,85,88,154,157,172,175,184,187,191],"various":[13,158],"research":[14,56,114,143],"communities":[15],"working":[16],"on":[17],"verification":[19,68,92,145],"systems":[21],"(software,":[22],"hardware,":[23],"or":[24],"underlying":[26],"involved":[27],"mechanisms),":[28],"it":[29],"is":[30,94,149,169],"important":[31,139],"to":[32,38,47,63,109,122,152,161,171],"bring":[33],"together":[34],"community":[36],"and":[37,51,125,131,160,165],"compare":[39],"state":[41],"art,":[44],"order":[46],"identify":[48],"progress":[49],"new":[52],"challenges":[53],"area.":[57],"Competitions":[58],"are":[59,128,136],"a":[60],"suitable":[61],"way":[62],"do":[64],"that.":[65],"The":[66],"first":[67],"competition":[69,81],"was":[70],"created":[71],"1992":[73],"(SAT":[74],"competition),":[75],"shortly":[76],"followed":[77],"by":[78],"CASC":[80],"1996.":[83],"Since":[84],"year":[86],"2000,":[87],"number":[89],"dedicated":[91,170],"competitions":[93,135,177],"steadily":[95],"increasing.":[96],"Many":[97],"these":[99,134],"events":[100],"now":[101],"happen":[102],"regularly,":[103],"gathering":[104],"researchers":[105],"that":[106,178],"would":[107],"like":[108],"understand":[110,162],"how":[111],"well":[112],"their":[113,163],"prototypes":[115],"work":[116],"practice.":[118],"Scientific":[119],"results":[120],"have":[121],"reproducible,":[124],"powerful":[126],"computers":[127],"becoming":[129,137],"cheaper":[130],"cheaper,":[132],"thus,":[133],"an":[138,150],"means":[140],"for":[141],"advancing":[142],"technology.":[146],"TOOLympics":[147,180],"2019":[148],"event":[151],"celebrate":[153],"achievements":[155],"competitions,":[159],"commonalities":[164],"differences.":[166],"This":[167],"volume":[168],"presentation":[173],"16":[176],"joined":[179],"as":[181],"part":[182],"celebration":[185],"25th":[188],"anniversary":[189],"TACAS":[192],"conference.":[193]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":7}],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2019-04-11T00:00:00"}