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)

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)

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)

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 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)