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
308 Following 8.1K Followers
The Solidity debugger you always wanted to exist.
0
0
1
95
5
Formal Verification as a Service that doesn't drain your treasury.
0
0
2
46
3
Web3 security partners, not rubber stampers.
0
0
3
94
12
Open source. Formal Verification. All in Solidity. 'nuff said.
0
0
0
27
3
