Changes between Version 140 and Version 141 of WikiStart


Ignore:
Timestamp:
05/13/23 18:16:02 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v140 v141  
    1515* [http://civl.cis.udel.edu/app/ CIVL Web App]
    1616
    17 == Examples & Case Studies ==
    18 
    19 * [wiki:Tour A Brief Tour of CIVL with Examples]
    20 * [wiki:Challenge A Challenge Exercise for Twente]
    21 * [https://dl.acm.org/citation.cfm?id=3090070 CIVL Solutions to VerifyThis 2016 Challenges]
    22 * [https://dl.acm.org/citation.cfm?id=3145488 Towards Self-Verification in Finite Difference Code Generation]
    23 * [https://link.springer.com/chapter/10.1007/978-3-319-99725-4_14 Verifying Properties of Differentiable Programs]
    24 
    2517== Documentation ==
    2618* [wiki:"Doc/Intro" Introduction]
    … …  
    2820* [wiki:"Doc/Lib" Libraries]
    2921* [wiki:"Doc/CLI" Command Line Interface]
     22* [wiki:Tour A Brief Tour of CIVL with Examples]
     23* [wiki:Challenge A Challenge Exercise for Twente]
    3024
    31 == Documents & Publications ==
    32 
     25== Publications ==
    3326* [https://vsl.cis.udel.edu/pubs/isola18.html Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges], Ziqing Luo and Stephen F. Siegel, ISoLA'18.
    3427* [https://vsl.cis.udel.edu/pubs/math_properties_sas18.html Verifying Properties of Differentiable Programs], J. Hückelheim, Z. Luo, S.H.K. Narayanan, S.F. Siegel, and P.D. Hovland, SAS'18.