| Title: |
CIVL: the concurrency intermediate verification language |
| Article URLs: |
|
| Alternative Article URLs: |
|
| Authors: |
Stephen F. Siegel |
-
University of Delaware, Department of Computer and Information Sciences
|
| Manchun Zheng |
-
University of Delaware, Department of Computer and Information Sciences
|
| Ziqing Luo |
-
University of Delaware, Department of Computer and Information Sciences
|
| Timothy K. Zirkel |
-
University of Delaware, Department of Computer and Information Sciences
|
| Andre V. Marianiello |
-
University of Delaware, Department of Computer and Information Sciences
|
| John G. Edenhofner |
-
University of Delaware, Department of Computer and Information Sciences
|
| Matthew B. Dwyer |
-
University of Nebraska - Lincoln, Department of Computer Science and Engineering
|
| Michael S. Rogers |
-
University of Nebraska - Lincoln, Department of Computer Science and Engineering
|
| Sharing: |
Unknown
|
| Verification: |
Authors have
not verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
1319571,
1346769,
0953210
|
| DBLP Key: |
conf/sc/SiegelZLZMEDR15
|
| Author Comments: |
|