plang
-
- Deprecated
-
.NET Core 2.1 This package targets .NET Core 2.1. The package is compatible with this framework or higher. .NET Standard 2.0 This package targets .NET Standard 2.0. The package is compatible with this framework or higher. .NET Framework 4.6 This package targets .NET Framework 4.6. The package is compatible with this framework or higher.
- 68,107 total downloads
- last updated 12/11/2019
- Latest version: 1.7.0
P# is a framework for building reliable asynchronous software. -
- Deprecated
-
- 12,476 total downloads
- last updated 2/15/2018
- Latest version: 1.0.6
Batch testing for PSharp language