I recently had the honor of leading a 1-hour workshop at the inaugural EVMSummit in Istanbul, focusing on the EVM low-level debugging capabilities of the Symbolic Solidity debugger. It was a deep dive into the intricacies of EVM and how our tool can effectively tackle complex debugging challenges.
5/ @RaoulSaffron, Formal Verification Engineer at @rv_inc, held a workshop on the "Symbolic Solidity Debugger", a tool built on top of KEVM, specifically designed to significantly lower the entry barrier for one of Computer Science's most advanced quality assurance techniques. pic.twitter.com/opJf8pAUlc
— EVM Summit (@evmsummit) December 1, 2023
A heartfelt thank you to all the participants for their enthusiasm and engagement. The discussions we had were not only insightful but also sparked a myriad of ideas and perspectives. It’s interactions like these that drive innovation and collective growth in our field.
Grateful for the opportunity to be a part of this landmark event and looking forward to many more!