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:55

00-00, About the instructor (Viktor Kuncak)

8 September 2020, 137 views

0:19

00-01, About the instructor (Jad Hamza)

10 September 2020, 81 views

10:22

01-01, What is Formal Verification?

9 September 2020, 249 views

28:15

01-01-Live1, Introduction to Formal Verification

24 September 2021, 46 views

19:09

01-02, First Steps with Stainless

13 September 2020, 212 views

25:08

01-02-Live2, Introduction to Stainless

24 September 2021, 12 views

7:13

01-03, Auxiliary Assertions in Stainless

16 September 2020, 134 views

29:34

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

24 September 2021, 18 views

15:41

01-04, Unfolding recursive functions in Stainless

17 September 2020, 150 views

36:56

01-05, Disasters, Successes, and Inductive Invariants

17 September 2020, 116 views

1:05

01-21, Stainless Tutorial 1/4

9 September 2020, 251 views

5:47

01-22, Stainless Tutorial 2/4

9 September 2020, 236 views

10:32

01-23, Stainless Tutorial 3/4

9 September 2020, 281 views

13:38

01-24, Stainless Tutorial 4/4

8 September 2020, 223 views

28:22

02-01, Dispenser Example of Finite System

24 September 2020, 109 views

46:11

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

30 September 2021, 7 views

1:01:05

02-02, Finite Systems Expressed with Formulas

24 September 2020, 111 views

43:49

02-02-Live2, Finite Systems Expressed with Formulas

30 September 2021, 7 views

35:41

03-01, What is a Formal Proof?

30 September 2020, 94 views

1:08:55

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

1 October 2021, 9 views

1:15:05

03-02, Propositional Resolution

1 October 2020, 112 views

46:50

03-02-Live2, Soundness and Completeness of a Propositional Proof System

1 October 2021, 12 views

45:15

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

7 October 2021, 9 views

45:54

03-02-Live4, Propositional Resolution and SAT Solvers, Live2

7 October 2021, 8 views

1:04:23

03-20, Short Coq Tutorial

2 October 2020, 76 views

Load more…