avatar
Runtime Vеrification
7,385 Twitter followers
Follow
We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://bit.ly/3AriQY9
Posts
loading indicator
Loading..