Deagle: An SMT-based Verifier for Multi-threaded Programs (Competition Contribution).

Fei He, Zhihang Sun, Hongyu Fan

Browse the full TACAS paper archive.