×
2015
CIVL: the concurrency intermediate verification language.
[DOI]
Stephen F. Siegel
,
Manchun Zheng
,
Ziqing Luo
,
Timothy K. Zirkel
,
Andre V. Marianiello
,
John G. Edenhofner
,
Matthew B. Dwyer
,
Michael S. Rogers
Proceedings of the International Conference for High Performance Computing, 2015