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