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
Volume
Pages 1-12
Nov 2015
Topic(s): tools verification
Note(s): CIVL verifier, intermediate verification language
Volume
Pages 1-12
Nov 2015
Topic(s): tools verification
Note(s): CIVL verifier, intermediate verification language