Ethereum

🎊 Grant Announcement: Simbolik by @rv-inc!

Solidity debugger that integrates with Visual Studio Code and works by simulating and inspecting contract execution at both the Solidity and EVM levels, with support for breakpoints, variable inspection, and symbolic execution.

1/ Thanks to the @EF_ESP, we have been awarded a grant to build a new open-source library for EthDebug that brings next-level debugging capabilities to Solidity development and Simbolik, our Solidity debugger.

Keep reading to learn more about what this means for developers and https://t.co/qVtkrOYu51

Runtime Vеrification

We apply formal methods to improve the safety, reliability and correctness of computing systems for blockchain, auto and space.

🎊 Grant Announcement: Simbolik by @rv-inc!

Solidity debugger that integrates with Visual Studio Code and works by simulating and inspecting contract execution at both the Solidity and EVM levels, with support for breakpoints, variable inspection, and symbolic execution.

https://x.com/rv_inc/status/1923036391081947170