ISSE.SafetySharp 1.2.1

S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical systems developed by the Institute for Software and Systems Engineering at the University of Augsburg. S# provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.

There is a newer version of this package available.
See the version list below for details.
Install-Package ISSE.SafetySharp -Version 1.2.1
dotnet add package ISSE.SafetySharp --version 1.2.1
<PackageReference Include="ISSE.SafetySharp" Version="1.2.1" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add ISSE.SafetySharp --version 1.2.1
The NuGet Team does not provide support for this client. Please contact its maintainers for support.


This package has no dependencies.

This package is not used by any popular GitHub repositories.

Version History

Version Downloads Last updated
2.0.0 527 3/23/2018
1.2.3 448 6/29/2016
1.2.2 378 5/19/2016
1.2.1 346 5/17/2016
1.2.0 387 5/13/2016
1.1.2 372 4/11/2016
1.1.1 419 3/20/2016
1.1.0 385 3/18/2016
1.0.1 398 3/16/2016