https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/
a16z 开发的智能合约形式化验证工具，和 #Foundry 一样走的是 #solidity 路线
wssh / Wong
npub19q…hc8g0
2023-02-03 12:57:54
Author Public Key
npub19qjyxn5a0xka32hfqpe5ppmaze0gv4p4zzrwh0gjazq6teflxlxqdhc8g0Seen on
wss://relay.nostr.band