formal verification

1 statements across 1 episodes · 0 bullish · 0 bearish · 1 people on the record · first statement Nov 14, 2024 by Laurent Sartran · across every show →

Everything said about formal verification, oldest first

Nov 14, 2024 neutral
Assertion Supported
Sartran: Formal code verification remains bottlenecked by human proof-writing
“So it's already done for very critical domain, like avionics cryptography where it's very important, but it has to be done by humans.”
Laurent Sartran Nov 14, 2024 ▶ 21:00 No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team
Made with StarZero

Turn any episode into a week of clips.

This entire site, over 100 episodes transcribed, diarized, checked and made playable, runs on the StarZero media pipeline. Drop in your own episode and the podcast clipper finds the moments worth sharing, cuts them, captions them, and reframes them for every feed.