Ultimate Kojak - (Competition Contribution)
Abstract elided by the publisher.
Related papers
- ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution) TACAS 2015
- Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution) TACAS 2026
- Ultimate Automizer with Two-track Proofs - (Competition Contribution) TACAS 2016
- Ultimate Automizer with SMTInterpol - (Competition Contribution) TACAS 2013
- Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution) TACAS 2014
- Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution) TACAS 2017
- Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution) TACAS 2026
- Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution) TACAS 2017