“Formal methods are a branch of mathematics and computer science focused on proving the correctness of systems, and they have long promised a more rigorous foundation for software.”
0:0050:29
Ready to play
0:00
--:--
Enjoying this?
Create a free account to bookmark episodes and follow shows.
