https://m2.mtmt.hu/ hun 2026-06-25 13:26 JournalArticle 36122888 VALIDATED true This research was partially funded by the EKÖP-24-3 New National Excellence Program under project numbers EKÖP-24-3-BME-288 and EKÖP-24-3-BME-213, and the Doctoral Excellence Fellowship Programme under project numbers 400434/ 2023 and 400433/2023; funded by the NRDI Fund of Hungary. We also acknowledge KIFU (Governmental Agency for IT Development, Hungary, ror.org/01s0v4q65) for awarding us access to the Komondor HPC facility based in Hungary. 0 false 2025-07-17T12:50:40.317+0000 2025-07-17T12:46:25.588+0000 2025-05-06T18:38:21.734+0000 true 10073070 Bajczi Levente /api/author/10073070 Author true 2025-07-17T12:46:25.594+0000 2025-07-17T12:46:25.594+0000 2025-05-21T12:38:38.520+0000 true 10072271 Andódy Katalin /api/admin/10072271 Admin true true false true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle true 10000059 Article true 24 24 /api/publicationtype/24 PublicationType 1 true 24 JournalArticle /api/subtype/10000059 Szakcikk SubType 101 true 10000059 true 1 /api/category/1 Category true 1 Bajczi, Levente SV-COMP’25 Reproduction Report (Competition Contribution) true true /api/journal/3029 REVIEWED true false 3029 false 3029 true 0302-9743 1611-3349 Journal FOREIGN 15698 187 191 Chapter 10 187, Chapter 10 5 2025 true 342484 /api/conference/342484 true 11683 true 10021 /api/country/10021 Country true 17 /api/city/11683 City true 10000965 Conference true The International Competition on Software Verification (SV-COMP) has been an important driver of progress in the formal verification community, fostering tool development, benchmarking, and reproducibility. As the competition grows in scale and complexity, a reproducibility study is essential to evaluate its robustness across environments, uncover hidden dependencies, and ensure long-term sustainability. This work aims to reaffirm the reliability of SV-COMP’s results, provide insights for similar competitions, and facilitate the adoption of its infrastructure beyond the competition. We reproduced the verification and validation results of active participants, including score and ranking calculations for the verification track. We found several problems prohibiting reusability and reproducibility of some participating tools, but we did not find serious issues with the competition infrastructure itself. true true 2025 true true true true true false GOLD 2025-07-17 true https://doi.org/10.1007/978-3-031-90660-2_10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Q2 A false false false false 2025-05-20T12:38:38.359+0000 Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Mesterséges Intelligencia és Rendszertervezés T... (BME / VIK) 3 5 2 3 0 false Language 10002 /api/language/10002 Angol English true 2 true PersonAuthorship 126360427 /api/authorship/126360427 1 0.333 true false true Author 10073070 /api/author/10073070 Bajczi Levente true true Bajczi Levente true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 126360428 /api/authorship/126360428 2 0.333 false false false Author 10077295 /api/author/10077295 Ádám Zsófia true true Ádám Zsófia true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PersonAuthorship 126360429 /api/authorship/126360429 3 0.333 false true false Author 10041151 /api/author/10041151 Micskei Zoltán Imre true 10041151 true Micskei Zoltán true false false AuthorshipType 1 /api/authorshiptype/1 0 true 0 true false true PublicationIdentifier 29315807 /api/publicationidentifier/29315807 PlainSource 6 /api/publicationsource/6 PublicationSourceType 10001 /api/publicationsourcetype/10001 true true true DOI DOI https://doi.org/@@@ true true 6 true GOLD true IDENTICAL 10.1007/978-3-031-90660-2_10 https://doi.org/10.1007/978-3-031-90660-2_10 false true PublicationIdentifier 29430043 /api/publicationidentifier/29430043 PlainSource 3 /api/publicationsource/3 PublicationSourceType 10003 /api/publicationsourcetype/10003 false true true Scopus Scopus http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-@@@ true true 3 true 105004790611 http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105004790611 false true PublicationIdentifier 29315808 /api/publicationidentifier/29315808 PlainSource 40 /api/publicationsource/40 PublicationSourceType 10006 /api/publicationsourcetype/10006 true true true Egyéb URL Other URL @@@ true true 40 true https://link.springer.com/10.1007/978-3-031-90660-2_10 https://link.springer.com/10.1007/978-3-031-90660-2_10 false true Classification 10034 /api/classification/10034 true true MtaRating 11435124 /api/mtarating/11435124 RatingType 10031 /api/ratingtype/10031 X. FTO Institute 70 /api/institute/70 0 false false false X. Földtudományok Osztálya HAS Section of Earth Sciences (X.) true 70 true true true A true true SjrRating 11569177 /api/sjrrating/11569177 174 0.49 book series RatingType 10002 /api/ratingtype/10002 sjr true true ClassificationExternal 1701 /api/classificationexternal/1701 true 1701 true Q2 FROM_LAST_YEAR true true Reference 65672805 /api/reference/65672805 1 10.5281/zenodo.14913865 false true Reference 65672806 /api/reference/65672806 2 false true Reference 65672807 /api/reference/65672807 3 10.1007/978-3-319-23404-5_12 false true Reference 65672808 /api/reference/65672808 4 10.48550/arXiv.2303.06477 false true /api/publication/36122888 <div class="JournalArticle Publication long-list"> <div class="authors"> <img title="Forrásközlemény" style="float: left" src="/frontend/resources/grid/publication-core-icon.png"> <div class="autype autype0"> <span class="author-name" mtid="10073070"><a href="/gui2/?type=authors&mode=browse&sel=10073070" target="_blank">Bajczi Levente ✉ (<span class="authorship-author-name">Bajczi Levente</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10077295"><a href="/gui2/?type=authors&mode=browse&sel=10077295" target="_blank">Ádám Zsófia (<span class="authorship-author-name">Ádám Zsófia</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> ;&nbsp;&nbsp;&nbsp; <span class="author-name" mtid="10041151"><a href="/gui2/?type=authors&mode=browse&sel=10041151" target="_blank">Micskei Zoltán (<span class="authorship-author-name">Micskei Zoltán Imre</span> <span class="authorAux-mtmt"> informatika</span>) </a> </span> <span class="author-affil"><span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/<span title="Mesterséges Intelligencia és Rendszertervezés Tanszék">MIT</span>/Kritikus Rendszerek Kutatócsoport; <span title="Budapesti Műszaki és Gazdaságtudományi Egyetem">BME</span>/<span title="Villamosmérnöki és Informatikai Kar">VIK</span>/Mesterséges Intelligencia és Rendszertervezés Tanszék</span> </div> </div> <div class="title"><a href="/gui2/?mode=browse&params=publication;36122888" target="_blank">SV-COMP’25 Reproduction Report (Competition Contribution)</a></div> <div> <span class="journal-title">LECTURE NOTES IN COMPUTER SCIENCE</span> <span class="journal-issn">(<a target="_blank" href="https://portal.issn.org/resource/ISSN/0302-9743">0302-9743</a> <a target="_blank" href="https://portal.issn.org/resource/ISSN/1611-3349">1611-3349</a>)</span>: <span class="journal-volume">15698</span> <span class="page"> pp 187-191 Paper Chapter 10. </span> <span class="year">(2025)</span> <div class="conference"> 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025. Konferencia helye, ideje: <span class="location">Hamilton, Kanada <span class="conference-date">2025.05.03. - 2025.05.08.</span> </div> </div> <div class="pub-footer"> <span class="language" xmlns="http://www.w3.org/1999/html">Nyelv: Angol | </span> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1007/978-3-031-90660-2_10" target="_blank" href="https://doi.org/10.1007/978-3-031-90660-2_10"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="105004790611" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-105004790611"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://link.springer.com/10.1007/978-3-031-90660-2_10" target="_blank" href="https://link.springer.com/10.1007/978-3-031-90660-2_10"> Egyéb URL </a> </span> </span> <OnlyViewableByAuthor><div class="ratings"> <div class="journal-subject">Folyóirat szakterülete: Scopus - Computer Science (miscellaneous)&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q2</div> <div class="journal-subject">Folyóirat szakterülete: Scopus - Theoretical Computer Science&nbsp;&nbsp;&nbsp;SJR indikátor:&nbsp;Q3</div> <div class="journal-subject">X. Földtudományok Osztálya XFO&nbsp;&nbsp;&nbsp;A</div> </div></OnlyViewableByAuthor> <div class="mtid"><span class="long-pub-mtid">Közlemény: 36122888</span> | <span class="status-data status-VALIDATED"> Egyeztetett </span> Forrás | <span class="type-subtype">Folyóiratcikk ( Szakcikk ) </span> | <span class="pub-category">Tudományos</span> | <span class="publication-sourceOfData">kézi felvitel</span> </div> <div class="lastModified">Utolsó módosítás: 2025.07.17. 14:46 Szatmári Erika (BME admin4) </div> <pre class="comment" style="margin-top: 0; margin-bottom: 0;"><u>Megjegyzés</u>: This research was partially funded by the EKÖP-24-3 New National Excellence Program under project numbers EKÖP-24-3-BME-288 and EKÖP-24-3-BME-213, and the Doctoral Excellence Fellowship Programme under project numbers 400434/ 2023 and 400433/2023; funded by the NRDI Fund of Hungary. We also acknowledge KIFU (Governmental Agency for IT Development, Hungary, ror.org/01s0v4q65) for awarding us acc...</pre> </div></div>