hpr3081 :: Why do formal verification?
tuturto talks about testing and formal verification of software
Hosted by tuturto on 2020-05-25 is flagged as Clean and is released under a CC-BY-SA license.
testing, verification, mathematics.
Listen in ogg, spx, or mp3 format. | Comments (0).
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.