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.
- 75,355 total downloads
- last updated 12/11/2019
- Latest version: 1.7.0
P# is a framework for building reliable asynchronous software. -
- Deprecated
-
- 13,428 total downloads
- last updated 2/15/2018
- Latest version: 1.0.6
Batch testing for PSharp language