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
[doi] [Google Scholar] [DBLP] [Citeseer]

SC '15: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis
Pages 1-12
Nov 2015
Topic(s): tools verification
Note(s): CIVL verifier, intermediate verification language