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/ Big thanks to the EF Ecosystem Support Program for our recently received grant to upgrade our KEVM and Kontrol tools for Ethereum's Pectra network upgrade🛠️ The KEVM upgrade will help us keep Ethereum secure and robust as it evolves 👇

1/ Big thanks to the <a href="/EF_ESP/">EF Ecosystem Support Program</a> for our recently received grant to upgrade our KEVM and Kontrol tools for Ethereum's Pectra network upgrade🛠️ The KEVM upgrade will help us keep Ethereum secure and robust as it evolves 👇