CS-550 Formal Verification

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

7 September 2020, 65 videos, 5503 views

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

Viewable by everyone.

00-00, About the instructor (Viktor Kuncak)

8 September 2020, 184 views

00-01, About the instructor (Jad Hamza)

10 September 2020, 105 views

01-01, What is Formal Verification?

9 September 2020, 373 views

01-01-Live1, Introduction to Formal Verification

24 September 2021, 83 views

01-02, First Steps with Stainless

13 September 2020, 304 views

01-02-Live2, Introduction to Stainless

24 September 2021, 25 views

01-03, Auxiliary Assertions in Stainless

16 September 2020, 192 views

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

24 September 2021, 26 views

01-04, Unfolding recursive functions in Stainless

17 September 2020, 204 views

01-05, Disasters, Successes, and Inductive Invariants

17 September 2020, 190 views

01-21, Stainless Tutorial 1/4

9 September 2020, 314 views

01-22, Stainless Tutorial 2/4

9 September 2020, 278 views

01-23, Stainless Tutorial 3/4

9 September 2020, 322 views

01-24, Stainless Tutorial 4/4

8 September 2020, 246 views

02-01, Dispenser Example of Finite System

24 September 2020, 158 views

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

30 September 2021, 10 views

02-02, Finite Systems Expressed with Formulas

24 September 2020, 184 views

02-02-Live2, Finite Systems Expressed with Formulas

30 September 2021, 10 views

02-03, Idea of Symbolic Computation of Reachable States

7 October 2022, 54 views

03-01, What is a Formal Proof?

30 September 2020, 156 views

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

1 October 2021, 14 views

03-02, Propositional Resolution

1 October 2020, 225 views

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

1 October 2021, 17 views

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

7 October 2021, 12 views

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

7 October 2021, 11 views

Load more…