Formal bytes: The Axiomise Podcast Channel
Technology
We demystify abstraction in today's podcast. Abstraction is the cornerstone of modern-day scalable formal verification. Classic papers in formal literature talk about abstraction as a Galois connection, but understanding abstraction when you're new to formal is not easy. We discuss it in detail in our upcoming webinar on 11 Feb 2021 but for now, here is an intuitive and simple explanation of abstraction and refinement.
More Episodes
Episode 50: A fireside chat with Dr. Amin Shokrollahi
2021-09-07
357
2021-09-07
357
Episode 49: A fireside chat with Prof. Moshe Vardi - Part 2
2021-08-17
153
2021-08-17
153
Episode 48: A fireside chat with Prof. Moshe Vardi - Part 1
2021-08-03
155
2021-08-03
155
Episode 45:A fireside chat with Ravi Thummarukudy
2021-04-27
135
2021-04-27
135
Episode 43: A fireside chat with Dr. Daniel Zimmerman
2021-03-30
145
2021-03-30
145
Episode 42: A fireside chat with Bob Smith
2021-02-23
113
2021-02-23
113
Episode 41: Invisible and visible formal verification
2021-02-09
120
2021-02-09
120
Episode 40: A fireside chat with Dr. Zvonimir Bandic
2021-02-02
98
2021-02-02
98
Episode 38: A fireside chat with Calista Redmond
2021-01-05
108
2021-01-05
108
Episode 37: A fireside chat with Harry Foster
2020-12-22
108
2020-12-22
108
Episode 36: A fireside chat with Dr. Jason Oberg
2020-12-15
97
2020-12-15
97
Episode 34: Scenario coverage in formal verification
2020-11-17
99
2020-11-17
99
Episode 33: A fireside chat with Dr. Lucio Lanza
2020-11-03
86
2020-11-03
86
Episode 32: A fireside chat with Rajat Swarup
2020-10-26
84
2020-10-26
84
Episode 31: A fireside chat with Khaled Maalej
2020-10-20
98
2020-10-20
98
Get this podcast on your
phone, FREE
