CIVL: the concurrency intermediate verification language. - Stephen F. Siegel; Manchun Zheng; Ziqing Luo; Timothy K. Zirkel; Andre V. Marianiello; John G. Edenhofner; Matthew B. Dwyer; Michael S. Rogers (SC, 2015)

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). - Manchun Zheng; John G. Edenhofner; Ziqing Luo; Mitchell J. Gerrard; Michael S. Rogers; Matthew B. Dwyer; Stephen F. Siegel (TACAS, 2016)