Inferara
Research
Papers
Blog
About
Inferara
We use formal methods to prove the correctness of blockchain code.
Read Our Papers