About trailofbits/spec-to-code-compliance
Verifies that a smart contract codebase implements exactly what its specification documents describe.
Community
Find people who use trailofbits/spec-to-code-compliance · Explore public favorites
Verifies that a smart contract codebase implements exactly what its specification documents describe.
Find people who use trailofbits/spec-to-code-compliance · Explore public favorites