HPR3081: Why do formal verification?

Hacker Public Radio

English - May 25, 2020 00:00 - 9.65 MB - ★★★★ - 33 ratings
Technology News Tech News community radio tech interviews linux open hobby software freedom Homepage Download IPFS Apple Podcasts Google Podcasts Overcast Castro Pocket Casts RSS feed

Previous Episode: HPR3080: Ansible ping

Next Episode: HPR3082: RFC 5005 Part 1 – Paged and archived feeds? Who cares?

In episode 3057 I talked about formal verification of software and forgot to mention why one would want to do it. This episode hopefully answers to that.

While formal verification is powerful tool, it’s also rather cumbersome and slow to use. In some cases you’re better off with traditional ways of testing.