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

2 years ago

Today we are soft launching ERC X ercx.runtimeverification.com, a tool designed to help token investors identify and avoid scams. It also helps developers write contracts confidently by evaluating each token’s technical quality. 1/3

Today we are soft launching ERC X ercx.runtimeverification.com, a tool designed to help token investors identify and avoid scams. It also helps developers write contracts confidently by evaluating each token’s technical quality. 1/3