CS-550 Formal Verification

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

7 September 2020, 61 videos, 3485 views

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

Viewable by everyone.

0:19

00-01, About the instructor (Jad Hamza)

10 September 2020, 81 views

0:55

00-00, About the instructor (Viktor Kuncak)

8 September 2020, 137 views

41:43

12-01, Abstract Interpretation Idea

11 November 2021, 12 views

51:36

An Introduction to Iris: Higher-Order Concurrent Separation Logic

29 November 2021, 16 views

10:25

10-02, Approximating Loops. Recursion 1

29 October 2021, 14 views

1:24:32

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

22 October 2020, 93 views

46:57

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

16 October 2021, 5 views

47:21

06-02-Live2, Automating First-Order Logic Proofs Using Resolution 2

16 October 2021, 5 views

7:13

01-03, Auxiliary Assertions in Stainless

16 September 2020, 134 views

45:15

03-02-Live3, Case Analysis Rule and Propositional Resolution, Live1

7 October 2021, 9 views

1:08:55

03-01-Live1, Checking invariants and bounded model checking. What is a formal proof?

1 October 2021, 9 views

37:20

07-01-Live1, Converting Imperative Programs to Formulas

21 October 2021, 5 views

1:03:44

07-01, Converting Imperative Programs to Formulas

28 October 2020, 52 views

29:34

01-03-Live3, Disasters, Successes, and Inductive Invariants

24 September 2021, 18 views

36:56

01-05, Disasters, Successes, and Inductive Invariants

17 September 2020, 116 views

46:11

02-01-Live, Dispenser Example and its Stainless Representation

30 September 2021, 7 views

28:22

02-01, Dispenser Example of Finite System

24 September 2020, 109 views

43:49

02-02-Live2, Finite Systems Expressed with Formulas

30 September 2021, 7 views

1:01:05

02-02, Finite Systems Expressed with Formulas

24 September 2020, 111 views

19:09

01-02, First Steps with Stainless

13 September 2020, 212 views

34:42

13-01-Live1, From Lattice Products to Tarski's Fixedpoint Theorem

18 November 2021, 9 views

27:09

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

19 November 2020, 90 views

46:42

07-02-Live2, Hoare Logic, Strongest Postcondition, Weakest Precondition Part 1

21 October 2021, 10 views

26:16

07-03-Live3, Hoare Logic, Strongest Postcondition, Weakest Precondition Part 2

22 October 2021, 48 views

28:15

01-01-Live1, Introduction to Formal Verification

24 September 2021, 46 views

Load more…