Iekkë: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution). - Paolo Di Biase; Bernd Fischer 002; Salvatore La Torre; Peter Schrammel; Gennaro Parlato (TACAS (2), 2026)