Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution) TACAS 2020
- Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution) TACAS 2018
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution) TACAS 2023
- Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution) TACAS 2026
- Ultimate GemCutter and the Axes of Generalization - (Competition Contribution) TACAS 2022
- Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution) TACAS 2018
- Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution) TACAS 2024
- Ultimate Automizer with Array Interpolation - (Competition Contribution) TACAS 2015