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)