HPR3081: Why do formal verification?
Hosted by Tuula on 2020-05-25 00:00:00 Download or Listen
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.
Comments
More Information...
Copyright Information
Unless otherwise stated, our shows are released under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license.
The HPR Website Design is released to the Public Domain.