Neste workshop, os participantes terão experiência prática com o Echidna - um fuzzer de contratos inteligentes de código aberto - para construir contratos inteligentes seguros. Eles aprenderão o que são invariantes de código, como escrevê-los e como usar o Echidna de forma eficiente para verificá-los. Ao final da sessão, os participantes entenderão como funciona o teste de propriedades, como escrever propriedades de segurança de código e como usar o fuzzer de forma eficiente.