Changes between Version 128 and Version 129 of WikiStart


Ignore:
Timestamp:
09/26/18 10:02:11 (8 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v128 v129  
    2424== Documents & Publications ==
    2525
    26 * [https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf  CIVL Manual]
     26* [https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf  CIVL Manual], M.B. Dwyer, J. Edenhofner, G. Gopalakrishnan, A. Marianiello, Z. Luo, Z. Rakamaric, M. Rogers, S.F. Siegel, M. Zheng and T.K. Zirkel
    2727* [https://vsl.cis.udel.edu/pubs/civl_sc_2015.html CIVL: The Concurrency Intermediate Verification Language], S.F. Siegel, M. Zheng, Z. Luo, T.K. Zirkel, A.V. Marianiello, J.G. Edenhofner, M.B. Dwyer and M.S. Rogers, SC'15.
    2828* [https://vsl.cis.udel.edu/pubs/civl_eurompi_2017.html  Verification of MPI programs using CIVL], Z. Luo, M. Zheng, and S.F. Siegel, EuroMPI'17.