Results for “spec-validation”
4 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
jetson-validate-image
Run static BSP checks and on-target smoke/regression tests on a flashed NVIDIA Jetson device to validate a customized BSP image.
2.2k · 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