Site Map - skip to main content

Hacker Public Radio

Your ideas, projects, opinions - podcasted.

New episodes every weekday Monday through Friday.
This page was generated by The HPR Robot at


hpr3081 :: Why do formal verification?

Tuula talks about testing and formal verification of software

<< First, < Previous, , Latest >>

Thumbnail of Tuula
Hosted by Tuula on 2020-05-25 is flagged as Clean and is released under a CC-BY-SA license.
testing, verification, mathematics. (Be the first).
The show is available on the Internet Archive at: https://archive.org/details/hpr3081

Listen in ogg, spx, or mp3 format. Play now:

Duration: 00:18:40

general.

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

Subscribe to the comments RSS feed.

Leave Comment

Note to Verbose Commenters
If you can't fit everything you want to say in the comment below then you really should record a response show instead.

Note to Spammers
All comments are moderated. All links are checked by humans. We strip out all html. Feel free to record a show about yourself, or your industry, or any other topic we may find interesting. We also check shows for spam :).

Provide feedback
Your Name/Handle:
Title:
Comment:
Anti Spam Question: What does the letter P in HPR stand for?
Are you a spammer?
What is the HOST_ID for the host of this show?
What does HPR mean to you?