CS-550 Formal Verification

Viktor Kuncak, École polytechnique fédérale de Lausanne (EPFL)

7 September 2020, 65 videos, 6186 views

https://gitlab.epfl.ch/lara/cs550/

Viewable by everyone.

00-00, About the instructor (Viktor Kuncak)

8 September 2020, 214 views

01-24, Stainless Tutorial 4/4

8 September 2020, 251 views

01-01, What is Formal Verification?

9 September 2020, 458 views

01-21, Stainless Tutorial 1/4

9 September 2020, 340 views

01-22, Stainless Tutorial 2/4

9 September 2020, 283 views

01-23, Stainless Tutorial 3/4

9 September 2020, 328 views

00-01, About the instructor (Jad Hamza)

10 September 2020, 118 views

50-01, Specification and Verification of a Blockchain Light Client

11 September 2020, 46 views

01-02, First Steps with Stainless

13 September 2020, 359 views

01-03, Auxiliary Assertions in Stainless

16 September 2020, 217 views

01-04, Unfolding recursive functions in Stainless

17 September 2020, 226 views

01-05, Disasters, Successes, and Inductive Invariants

17 September 2020, 219 views

02-01, Dispenser Example of Finite System

24 September 2020, 198 views

02-02, Finite Systems Expressed with Formulas

24 September 2020, 218 views

03-01, What is a Formal Proof?

30 September 2020, 196 views

03-02, Propositional Resolution

1 October 2020, 251 views

03-20, Short Coq Tutorial

2 October 2020, 86 views

04-01, Simulation Relations

8 October 2020, 53 views

05-01, Presburger Arithmetic and Quantifier Elimination Introduction

14 October 2020, 111 views

05-02, Quantifier Elimination Steps for Presburger Arithmetic

15 October 2020, 62 views

06-01, Automating First-Order Logic Proofs Using Resolution

22 October 2020, 221 views

07-01, Converting Imperative Programs to Formulas

28 October 2020, 141 views

08-01, Hoare Logic, Strongest Postcondition, Weakest Precondition

19 November 2020, 183 views

01-01-Live1, Introduction to Formal Verification

24 September 2021, 110 views

01-02-Live2, Introduction to Stainless

24 September 2021, 39 views

Load more…