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 Takipçi

308 Takip Edilen

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

10 months ago

We are in Bangkok 🇹🇭🛺🧉 Check out our latest blog to learn what events our team will speak at, where to find us and an update on our tooling! runtimeverification.com/blog/meet-the-…