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

4 years ago

21 days to go!!! Let us know who you want to see in the event talking about #formalverification at the "Formal Verification in the Ethereum Ecosystem" event 👇 Register for free at: runtimeverification.com/events/formalv… #formalverificationeth Devconnect ARG EF Ecosystem Support Program

21 days to go!!! Let us know who you want to see in the event talking about #formalverification at the "Formal Verification in the Ethereum Ecosystem" event 👇 Register for free at: runtimeverification.com/events/formalv… #formalverificationeth <a href="/EFDevcon/">Devconnect ARG</a> <a href="/EF_ESP/">EF Ecosystem Support Program</a>