ISSE.SafetySharp
2.0.0
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.
Install-Package ISSE.SafetySharp -Version 2.0.0
dotnet add package ISSE.SafetySharp --version 2.0.0
<PackageReference Include="ISSE.SafetySharp" Version="2.0.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add ISSE.SafetySharp --version 2.0.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: ISSE.SafetySharp, 2.0.0"
#r directive can be used in F# Interactive, C# scripting and .NET Interactive. Copy this into the interactive tool or source code of the script to reference the package.
// Install ISSE.SafetySharp as a Cake Addin
#addin nuget:?package=ISSE.SafetySharp&version=2.0.0
// Install ISSE.SafetySharp as a Cake Tool
#tool nuget:?package=ISSE.SafetySharp&version=2.0.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
Dependencies
This package has no dependencies.
Used By
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories
This package is not used by any popular GitHub repositories.