1 Audit available | Last Audit was delivered on 7/10/2019
bitmovio
Formal Verification Platform
Static Analysis
Manual Review
Findings level data currently unavailable
25
All Findings
0
Unresolved
0
Acknowledged
0
Partially
20
Resolved
Audit Timeline
Requested on 6/25/2019
Revisioned on 7/10/2019
Disclaimer:CertiK conducts security assessments on the provided source code exclusively. Conduct your own due diligence before deciding to use any info listed at this page.