Silver.CodeAnalysis (nuget): A static analyzer and formal verifier for Stratis smart contracts
Keywords: analyzers|smart|contracts|stratis|blockchain|dotnet|formal-verification|smart-contracts|static-analysis