消息来源频道

Web3ReadList

@web3list

频道1,450 位成员公开可见0 人在线

@Wongssh web3 reading list. A reading list for solidity, web3 and Dapp programmers. We use Chinese and English language.

成员规模1,450 位成员

在线情况0 人在线

消息总数2,075 条消息

浏览量总数53,210 次浏览

2024/03/22 23:25

https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/
#fuzz 模糊测试与 #formalVerify 形式化证明