A short experience to perform fuzzing and formal verification By wiasliaw

議題

A short experience to perform fuzzing and formal verification

TR213 [[ new Date( '2024-08-04 07:30:00+00:00' ).toLocaleDateString('ja', {year: 'numeric', month: '2-digit', day: '2-digit'}) ]] [[ new Date( '2024-08-04 07:30:00+00:00' ).toLocaleTimeString('zh-Hant', {hour12: false, hour: '2-digit', minute:'2-digit'}) ]] ~ [[ new Date( '2024-08-04 08:00:00+00:00' ).toLocaleTimeString('zh-Hant', {hour12: false, hour: '2-digit', minute:'2-digit'}) ]] 中文 Chinese

加入行事曆加入關注加入關注已關注

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.

Blockchain and Distributed Ledger KHKQTP general (30mins)