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.

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.

HPR3081: Why do formal verification?

Hacker Public Radio is an podcast that releases shows every weekday Monday through Friday. Our shows are produced by the community (you) and can be on any topic that are of interest to hackers and hobbyists.

Share HPR3081: Why do formal verification?

Sign up to save your podcasts

HPR3081: Why do formal verification?

HPR3081: Why do formal verification?

More shows like Hacker Public Radio

The Infinite Monkey Cage

Click Here

Hacker And The Fed