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

5 months ago

1/ We're excited to announce that we're officially partnering with @Immunefi to build, and integrate our formal verification tooling and expertise into Magnus, the fully-integrated SecOps command center for on-chain security 🛠️ Read the blog for more details 👉

1/ We're excited to announce that we're officially partnering with @Immunefi to build, and integrate our formal verification tooling and expertise into Magnus, the fully-integrated SecOps command center for on-chain security 🛠️ Read the blog for more details 👉