avatar
Runtime Vеrification
7,385 người theo dõi trên Twitter
Theo dõi
We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain. https://bit.ly/3AriQY9
Bài đăng
loading indicator
Loading..