Petrification: Software Model Checking for Programs with Dynamic Thread Management

von Heizmann, Maithias
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking, and abstract interpretation ; Part 2 (2024)

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)

von Dietsch, Daniel
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)

ULTIMATE GEMCUTTER and the Axes of Generalization: (Competition Contribution)

von Klumpp, Dominik
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)