2024-08-04, 15:30–16:00 (Asia/Taipei), TR213
In this session, the speaker will explore the basics of fuzzing testing and formal verification by using simple examples and share the experience and the tools for performing fuzzing testing and formal verification.
Non-working blockchain developer. Working on #evm, #zk-stuff.