Automatic Verification
topic on 1 show · 1 statements across 1 episodes
1 statements about Automatic Verification, every show
Lloyd: Memory-safe languages and automated verification will become more valuable
“I think anything that does like either automatic security analysis or automatic verification, I think actually like languages like rust, things that have stronger guarantees around safety by default, where you don't need to rely on like a human reviewer become…”