Explore " computer-checked proofs" with insightful episodes like "Power of Computer-Checked Proofs for Software" and "Computer-checked proofs about software" from podcasts like ""Iowa Type Theory Commute" and "Iowa Type Theory Commute"" and more!
Continuing pessimistic discussion about the purpose of formal methods for Computer Science. But then counter arguments about the value of absolutely correct software.
Computer-checked proofs can ensure properties of software. Discussion of several aspects of this idea.
Stay up to date
For any inquiries, please email us at hello@podcastworld.io