Formal bytes: The Axiomise Podcast Channel

50 Epizód

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

   Közzétéve: 2021. 09. 07.
2. Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2

   Közzétéve: 2021. 08. 17.
3. Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1

   Közzétéve: 2021. 08. 03.
4. Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2

   Közzétéve: 2021. 07. 18.
5. Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1

   Közzétéve: 2021. 06. 15.
6. Episode 45:A fireside chat with Ravi Thummarukudy

   Közzétéve: 2021. 04. 27.
7. Episode 44: Formal Verification 101 - The power of formal is now in your hands

   Közzétéve: 2021. 04. 13.
8. Episode 43: A fireside chat with Dr. Daniel Zimmerman

   Közzétéve: 2021. 03. 30.
9. Episode 42: A fireside chat with Bob Smith

   Közzétéve: 2021. 02. 23.
10. Episode 41: Invisible and visible formal verification

    Közzétéve: 2021. 02. 09.
11. Episode 40: A fireside chat with Dr. Zvonimir Bandic

    Közzétéve: 2021. 02. 02.
12. Episode 39: Abstraction in 7 minutes!

    Közzétéve: 2021. 01. 19.
13. Episode 38: A fireside chat with Calista Redmond

    Közzétéve: 2021. 01. 05.
14. Episode 37: A fireside chat with Harry Foster

    Közzétéve: 2020. 12. 22.
15. Episode 36: A fireside chat with Dr. Jason Oberg

    Közzétéve: 2020. 12. 15.
16. Episode 35: Six dimensions of coverage for formal verification

    Közzétéve: 2020. 12. 01.
17. Episode 34: Scenario coverage in formal verification

    Közzétéve: 2020. 11. 17.
18. Episode 33: A fireside chat with Dr. Lucio Lanza

    Közzétéve: 2020. 11. 03.
19. Episode 32: A fireside chat with Rajat Swarup

    Közzétéve: 2020. 10. 26.
20. Episode 31: A fireside chat with Khaled Maalej

    Közzétéve: 2020. 10. 20.