nuget.org : silver.codeanalysis
A static analyzer and formal verifier for Stratis smart contracts
Registry
-
Source
- JSON
purl: pkg:nuget/silver.codeanalysis
Keywords:
analyzers
, smart
, contracts
, stratis
, blockchain
, dotnet
, formal-verification
, smart-contracts
, static-analysis
License: MIT
Latest release: over 125 years ago
First release: over 3 years ago
Downloads: 2,222 total
Stars: 7 on GitHub
Forks: 2 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 1 day ago
Loading...
Readme
Loading...