Results for “spec-validation”
3 skillsMore results
spec-to-code-compliance
Verifies that blockchain code implements exactly what documentation specifies, identifying gaps between specs and implementation for audit engagements.
6k · bundle
secure-workflow-guide
Guides through a 5-step secure development workflow for smart contracts, including automated scanning with Slither, special feature validation, visual security diagrams, security property documentation, and manual review.
6k · bundle