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.

30:48

60-03, Stainless Tutorial at ASPLOS 2022 Part 3

5 March, 1 view

20:36

60-04, Stainless Tutorial at ASPLOS 2022 Part 4

5 March, 8 views

51:36

An Introduction to Iris: Higher-Order Concurrent Separation Logic

29 November 2021, 16 views

43:32

Jérôme Boillot: Abstract Interpretation in Stainless

22 November 2021, 11 views

45:53

Omega Continuity, Galois Connection, and AI Recipe

18 November 2021, 12 views

1:16:48

Ondřej Lhoták: Taming Null References

7 December 2021, 6 views

43:58

Semantics and Verification of Concurrency

26 November 2021, 8 views

44:50

Sequent Calculus

2 December 2021, 10 views

1:13:11

Stainless Verification System Tutorial by Viktor Kuncak and Jad Hamza, FMCAD 2021

28 February, 4 views

1:11:56

Synthesis of Safe Pointer-Manipulating Programs

7 December 2021, 22 views

47:35

Total Functions: How and Why

26 November 2021, 7 views