Runtime Vеrification (@rv_inc) 's Twitter Profile
Runtime Vеrification

@rv_inc

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

ID: 920499670517985281

linkhttps://runtimeverification.com/ calendar_today18-10-2017 03:59:58

1,1K Tweet

7,7K Followers

308 Following

Runtime Vеrification (@rv_inc) 's Twitter Profile Photo
Runtime Vеrification
@rv_inc

4 months ago

1/ Thanks to the EF Ecosystem Support Program, 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

1/ Thanks to the <a href="/EF_ESP/">EF Ecosystem Support Program</a>, 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