https://eperez.blog/formal-verification-from-programs-to-formulas
介绍 #formalVerify 的底层原理
介绍 #formalVerify 的底层原理
Research by Ezequiel
Formal Verification: From Programs to Formulas
We'll explore Formal Verification by learning how to transform a program into logical formulas we can then solve with Z3 to create proofs about it.
