Formal bytes: The Axiomise Podcast Channel

50 Avsnitt

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

   Publicerades: 2021-09-07
2. Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2

   Publicerades: 2021-08-17
3. Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1

   Publicerades: 2021-08-03
4. Episode 47: A fireside chat with Prof. Supratik Chakraborty - Part 2

   Publicerades: 2021-07-18
5. Episode 46: A fireside chat with Prof. Supratik Chakraborty - Part 1

   Publicerades: 2021-06-15
6. Episode 45:A fireside chat with Ravi Thummarukudy

   Publicerades: 2021-04-27
7. Episode 44: Formal Verification 101 - The power of formal is now in your hands

   Publicerades: 2021-04-13
8. Episode 43: A fireside chat with Dr. Daniel Zimmerman

   Publicerades: 2021-03-30
9. Episode 42: A fireside chat with Bob Smith

   Publicerades: 2021-02-23
10. Episode 41: Invisible and visible formal verification

    Publicerades: 2021-02-09
11. Episode 40: A fireside chat with Dr. Zvonimir Bandic

    Publicerades: 2021-02-02
12. Episode 39: Abstraction in 7 minutes!

    Publicerades: 2021-01-19
13. Episode 38: A fireside chat with Calista Redmond

    Publicerades: 2021-01-05
14. Episode 37: A fireside chat with Harry Foster

    Publicerades: 2020-12-22
15. Episode 36: A fireside chat with Dr. Jason Oberg

    Publicerades: 2020-12-15
16. Episode 35: Six dimensions of coverage for formal verification

    Publicerades: 2020-12-01
17. Episode 34: Scenario coverage in formal verification

    Publicerades: 2020-11-17
18. Episode 33: A fireside chat with Dr. Lucio Lanza

    Publicerades: 2020-11-03
19. Episode 32: A fireside chat with Rajat Swarup

    Publicerades: 2020-10-26
20. Episode 31: A fireside chat with Khaled Maalej

    Publicerades: 2020-10-20