Formal bytes: The Axiomise Podcast Channel

50 Odcinki

1. Episode 50: A fireside chat with Dr. Amin Shokrollahi

   Opublikowany: 7.09.2021
2. Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2

   Opublikowany: 17.08.2021
3. Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1

   Opublikowany: 3.08.2021
4. Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2

   Opublikowany: 18.07.2021
5. Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1

   Opublikowany: 15.06.2021
6. Episode 45:A fireside chat with Ravi Thummarukudy

   Opublikowany: 27.04.2021
7. Episode 44: Formal Verification 101 - The power of formal is now in your hands

   Opublikowany: 13.04.2021
8. Episode 43: A fireside chat with Dr. Daniel Zimmerman

   Opublikowany: 30.03.2021
9. Episode 42: A fireside chat with Bob Smith

   Opublikowany: 23.02.2021
10. Episode 41: Invisible and visible formal verification

    Opublikowany: 9.02.2021
11. Episode 40: A fireside chat with Dr. Zvonimir Bandic

    Opublikowany: 2.02.2021
12. Episode 39: Abstraction in 7 minutes!

    Opublikowany: 19.01.2021
13. Episode 38: A fireside chat with Calista Redmond

    Opublikowany: 5.01.2021
14. Episode 37: A fireside chat with Harry Foster

    Opublikowany: 22.12.2020
15. Episode 36: A fireside chat with Dr. Jason Oberg

    Opublikowany: 15.12.2020
16. Episode 35: Six dimensions of coverage for formal verification

    Opublikowany: 1.12.2020
17. Episode 34: Scenario coverage in formal verification

    Opublikowany: 17.11.2020
18. Episode 33: A fireside chat with Dr. Lucio Lanza

    Opublikowany: 3.11.2020
19. Episode 32: A fireside chat with Rajat Swarup

    Opublikowany: 26.10.2020
20. Episode 31: A fireside chat with Khaled Maalej

    Opublikowany: 20.10.2020