npmjs.org "contracts-validation" keyword
View the packages on the npmjs.org package registry that are tagged with the "contracts-validation" keyword.
contract-shield-cli 0.2.1
A CLI tool that verifies preconditions, postconditions, and invariants in contracts without alter...3 versions - Latest release: 17 days ago - 143 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
preconditions-postconditions
1
invariants-checking
1
verification-framework
1