Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:formal_verification_service
|
| gptkbp:aimsTo |
detect vulnerabilities
ensure correctness of code |
| gptkbp:appliesTo |
blockchain protocols
blockchain smart contracts |
| gptkbp:provides |
gptkb:CertiK
|
| gptkbp:relatedTo |
smart contract security
blockchain auditing |
| gptkbp:usedBy |
blockchain projects
|
| gptkbp:uses |
mathematical proofs
|
| gptkbp:bfsParent |
gptkb:CertiK
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
CertiK Formal Verification
|