wiasliaw
Non-working blockchain developer. Working on #evm, #zk-stuff.
Sessions
08-04
15:30
30min
A short experience to perform fuzzing and formal verification
wiasliaw
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.
Blockchain and Distributed Ledger
TR213