Why Can We Prove a Program Is 100% Bug-Free Without Running It Even Once? The Science of Formal Verification and Model Checking
Tags
2 pages
Formal-Verification
Type Theory and the Curry-Howard Isomorphism: The Profound Harmony of Propositions as Types and Proofs as Programs
