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
https://runtimeverification.com/ 18-10-2017 03:59:58
1,1K Tweet
7,7K Takipçi
308 Takip Edilen
1/3 🧵 Runtime Vеrification is going to Bogota this October!🇨🇴 We couldn’t be happier to have not one, but two of our formal verification engineers speaking at Devconnect ARG We are looking forward to sharing insights about blockchain security with all of you 💙💛