Refinement of Trace Abstraction. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (SAS, 2009)

Functional verification of the IBM System z10 processor chipset. - Christopher A. Krygowski; Dean G. Bair; Rebecca M. Gott; M. H. Decker; A. V. Giri; Christian Habermann; Matthias Heizmann; Stefan Letz; William J. Lewis; Steven M. Licker; H. Mallar; Edward C. McCain; et al. (IBM J. Res. Dev., 2009)

Nested interpolants. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (POPL, 2010)

Size-Change Termination and Transition Invariants. - Matthias Heizmann; Neil D. Jones; Andreas Podelski (SAS, 2010)

Linear Ranking for Linear Lasso Programs. - Matthias Heizmann; Jochen Hoenicke; Jan Leike; Andreas Podelski (ATVA, 2013)

Software Model Checking for People Who Love Automata. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2013)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Termination Analysis by Learning Terminating Programs. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2014)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Geometric Series as Nontermination Arguments for Linear Lasso Programs. - Jan Leike; Matthias Heizmann (CoRR, 2014)

Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch; Matthias Heizmann; Vincent Langenfeld; Andreas Podelski (CAV (1), 2015)

Automated Program Verification. - Azadeh Farzan; Matthias Heizmann; Jochen Hoenicke; Zachary Kincaid; Andreas Podelski (LATA, 2015)

Ultimate Automizer with Array Interpolation - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Jan Leike; Betim Musa; Andreas Podelski (TACAS, 2015)

Ranking Templates for Linear Loops. - Jan Leike; Matthias Heizmann (Log. Methods Comput. Sci., 2015)

Traces, interpolants, and automata: a new approach to automatic software verification. - Matthias Heizmann (2015)

Witness validation and stepwise testification across software verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Andreas Stahlbauer (Software Engineering, 2016)

Correctness witnesses: exchanging verification results between verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (SIGSOFT FSE, 2016)

Complementing Semi-deterministic Büchi Automata. - Frantisek Blahoudek; Matthias Heizmann; Sven Schewe; Jan Strejcek; Ming-Hsien Tsai 001 (TACAS, 2016)

Ultimate Automizer with Two-track Proofs - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Marius Greitschus; Jan Leike; Betim Musa; Claus Schätzle; Andreas Podelski (TACAS, 2016)

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers". - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Zenodo, 2016)

Exchanging Verification Witnesses between Verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Software Engineering, 2017)

Craig vs. Newton in software model checking. - Daniel Dietsch; Matthias Heizmann; Betim Musa; Alexander Nutz; Andreas Podelski (ESEC/SIGSOFT FSE, 2017)

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). - Marius Greitschus; Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). - Matthias Heizmann; Yu-Wen Chen; Daniel Dietsch; Marius Greitschus; Alexander Nutz; Betim Musa; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Minimization of Visibly Pushdown Automata Using Partial Max-SAT. - Matthias Heizmann; Christian Schilling 001; Daniel Tischner (TACAS (1), 2017)

Advanced automata-based algorithms for program termination checking. - Yu-Fang Chen 001; Matthias Heizmann; Ondrej Lengál; Yong Li 031; Ming-Hsien Tsai 001; Andrea Turrini; Lijun Zhang 001 (PLDI, 2018)

Incremental Verification Using Trace Abstraction. - Bat-Chen Rothenberg; Daniel Dietsch; Matthias Heizmann (SAS, 2018)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)

Geometric Nontermination Arguments. - Jan Leike; Matthias Heizmann (TACAS (2), 2018)

The Map Equality Domain. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

Semantic Fault Localization and Suspiciousness Ranking. - Maria Christakis; Matthias Heizmann; Muhammad Numair Mansur; Christian Schilling 001; Valentin Wüstholz (TACAS (1), 2019)

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (CoRR, 2019)

Ultimate TreeAutomizer (CHC-COMP Tool Description). - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (HCVS/PERR@ETAPS, 2019)

The SMT Competition 2015-2018. - Tjark Weber; Sylvain Conchon; David Déharbe; Matthias Heizmann; Aina Niemetz; Giles Reger (J. Satisf. Boolean Model. Comput., 2019)

Ultimate Automizer SV-COMP 2020 Competition Contribution. - Matthias Heizmann; Max Barth; Daniel Dietsch; Jill Enke; Leonard Fichtner; Dominik Klumpp; Mehdi Naouar; Lars Nitzke; Alexander Nutz; Andreas Podelski; Elisabeth Schanno; Claus Schätzle (Zenodo, 2019)

The IBM z15 High Frequency Mainframe Branch Predictor Industrial Product. - Narasimha Adiga; James Bonanno; Adam Collura; Matthias Heizmann; Brian R. Prasky; Anthony Saporito (ISCA, 2020)

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Frank Schüssele (TACAS (2), 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

Separating Map Variables in a Logic-Based Intermediate Verification Language. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (NETYS, 2021)

Verification of Concurrent Programs Using Petri Net Unfoldings. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schätzle (VMCAI, 2021)

Ultimate GemCutter SV-COMP 2022 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (Zenodo, 2021)

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (TACAS (2), 2022)

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

Ultimate Automizer (SV-COMP 2022 - Modified). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate Taipan SV-COMP 2023 Competition Contribution. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate Automizer SV-COMP 2023 Competition Contribution. - Matthias Heizmann; Daniel Dietsch; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate GemCutter SV-COMP 2023 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Azadeh Farzan; Andreas Podelski (Zenodo, 2022)

Ultimate Kojak SV-COMP 2023 Competition Contribution. - Frank Schüssele; Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). - Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Lars Nitzke (CoRR, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). - Max Barth; Daniel Dietsch; Matthias Heizmann; Marie-Christine Jakobs (FASE, 2024)

A Bit-vector to Integer Translation with bv2nat and nat2bv. - Max Barth; Matthias Heizmann (SMT@CAV, 2024)

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). - Frank Schüssele; Manuel Bentele; Daniel Dietsch; Matthias Heizmann; Xinyu Jiang; Dominik Klumpp; Andreas Podelski (TACAS (3), 2024)

Petrification: Software Model Checking for Programs with Dynamic Thread Management. - Matthias Heizmann; Dominik Klumpp; Lars Nitzke; Frank Schüssele (VMCAI (2), 2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version). - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (CoRR, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Artifact for the VMCAI'2025 Paper "Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts". - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. - Julian Erhard; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Simmo Saan; Frank Schüssele; Michael Schwarz 007; Helmut Seidl; Sarah Tilscher; Vesal Vojdani (VMCAI (1), 2025)

Correctness Witnesses with Function Contracts. - Matthias Heizmann; Dominik Klumpp; Marian Lingsch Rosenfeld; Frank Schüssele (CoRR, 2025)