Changes between Version 115 and Version 116 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v115 v116  
    2424== Documents & Publications ==
    2525
    26 * [https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf  Manual for CIVL v1.17.1]
     26* [https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf  CIVL Manual]
    2727* [https://vsl.cis.udel.edu/pubs/civl_sc_2015.html CIVL: The Concurrency Intermediate Verification Language]
    28 * [https://vsl.cis.udel.edu/lib/downloads/ltspor_2018.pdf Technical Report: Ample Set Partial Order Reduction for Actions ]
    2928* [https://vsl.cis.udel.edu/pubs/civl_eurompi_2017.html  Verification of MPI programs using CIVL]
    3029* [https://science.energy.gov/~/media/ascr/pdf/programdocuments/docs/2017/HPC_Correctness_Report.pdf DOE Report of the HPC Correctness Summit]