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>