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

281 Following

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

2 months ago

🐞🔨 Earlier this year, we started working with Lido to formally verify their dual governance mechanism Check out our new blog, which dives into the design review phase and how we developed proofs of two critical properties👇 runtimeverification.com/blog/with-33-b…