Runtime Vеrification
@rv_inc
We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://t.co/ElLuw8eT08
Joined October 2017
308 Following 8.1K Followers
Most Popular Users
