A finite model checking framework for C# code.
Info
| Version: | 1.0.1 |
| Author(s): | Andrew Helwer |
| Last Update: | Wednesday, August 22, 2018 |
| .NET Fiddle: | Create the first Fiddle |
| Project Url: | https://github.com/ahelwer/FiniteModelChecker |
| NuGet Url: | https://www.nuget.org/packages/FiniteModelChecker |
Install
Install-Package FiniteModelChecker
dotnet add package FiniteModelChecker
paket add FiniteModelChecker
FiniteModelChecker Download (Unzip the "nupkg" after downloading)
Dependencies
- NETStandard.Library(>= 1.6.1)
Tags
