formal verification in Podcasts

concept

A field of formal methods used to prove correctness and safety of software and algorithms

computer_science concept

Mentions Over Time

1 mentions

Mentions in Podcasts

TED Talks Daily

How to keep AI under control | Max Tegmark

There's a venerable field called formal verification, which proves stuff about code.