-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
24 lines (24 loc) · 1.03 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
AWS Dafny training lecture slides
<br>
<br>
<a href="Lectures/1-1-Programming-Functional.html">Functional programming</a>
<br>
<a href="Lectures/1-2-Programming-Imperative.html">Imperative programming</a>
<br>
<a href="Lectures/1-3-Programming-ObjectOriented.html">Object-Oriented programming</a>
<br>
<a href="Lectures/2-1-Logic-Propositions.html">Logical propositions</a>
<br>
<a href="Lectures/2-2-Logic-Definitions.html">Logical definitions</a>
<br>
<a href="Lectures/2-3-Logic-ProvingByExplaining.html">Proving by explaining</a>
<br>
<a href="Lectures/2-4-Logic-ProvingByConvincing.html">Proving by convincing</a>
<br>
<a href="Lectures/3-1-Verification-Functional-Independent.html">Extrinsic verification of functional programs</a>
<br>
<a href="Lectures/3-2-Verification-Functional-Dependent.html">Intrinsic verification of functional programs</a>
<br>
<a href="Lectures/3-3-Verification-Imperative.html">Verification of imperative programs</a>
<br>
<a href="Lectures/3-4-Verification-ObjectOriented.html">Verification of object-oriented programs</a>