A short experience to perform fuzzing and formal verification

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.

講者

wiasliaw

Non-working blockchain developer. Working on #evm, #zk-stuff.