npmjs.org "verification-framework" keyword
contract-shield-cli 0.2.1
A CLI tool that verifies preconditions, postconditions, and invariants in contracts without alter...3 versions - Latest release: 9 months ago - 23 downloads last month - 0 stars on GitHub - 1 maintainer
Related Keywords
static-analysis
1
developer-tools
1
software-engineering
1
formal-methods
1
program-verification
1
automated-testing
1
debugging-tools
1
secure-coding
1
design-by-contract
1
runtime-verification
1
source-code-analysis
1
cli-tool
1
runtime-analysis
1
code-instrumentation
1
source-code-modification
1
programming-language-tools
1
contracts-validation
1
preconditions-postconditions
1
invariants-checking
1