EN | DE
Theoretische Informatik

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

ws18:fmsoft [2019/02/05 15:00]
tadeusz [Slides]
ws18:fmsoft [2019/02/12 19:15] (current)
tadeusz [Slides]
Line 27: Line 27:
   * {{:ws18:fmsoft:fmsoft_jan22post.pdf|Expressivity, total correctness, decorated programs (Jan 22)}}   * {{:ws18:fmsoft:fmsoft_jan22post.pdf|Expressivity, total correctness, decorated programs (Jan 22)}}
   * {{:ws18:fmsoft:fmsoft_jan29post.pdf|Weakest preconditions in separation logic (Jan 29)}}{{:ws18:fmsoft:fmsoft_jan29pre.pdf|pre-lecture version}}   * {{:ws18:fmsoft:fmsoft_jan29post.pdf|Weakest preconditions in separation logic (Jan 29)}}{{:ws18:fmsoft:fmsoft_jan29pre.pdf|pre-lecture version}}
 +  * {{:ws18:fmsoft:fmsoft_feb5pre.pdf|Annotated programs and verification conditions in separation logic (Feb 5, handout version)}}