https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/
#a16z 的形式化验证 #formalVerify 工具
#a16z 的形式化验证 #formalVerify 工具
a16z crypto
Symbolic testing with Halmos for formal verification - a16z crypto
We cover the challenges of formal verification, and the potential to bridge the gap between unit testing and formal verification with symbolic testing.
