Iekk: A SAT-Based Bounded-Round Verifier for Multi-Threaded Programs (Competition Contribution).

Paolo Di Biase, Bernd Fischer, Salvatore La Torre, Peter Schrammel, Gennaro Parlato

Browse the full TACAS paper archive.