A formal specification and verification tool for Solidity.
Info
| Version: | 0.1.5-alpha |
| Author(s): | VeriSol |
| Last Update: | Friday, May 29, 2020 |
| .NET Fiddle: | Create the first Fiddle |
| NuGet Url: | https://www.nuget.org/packages/VeriSol |
Install
Install-Package VeriSol
dotnet add package VeriSol
paket add VeriSol
VeriSol Download (Unzip the "nupkg" after downloading)
