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" />
paket add ISSE.SafetySharp --version 2.0.0
#r "nuget: ISSE.SafetySharp, 2.0.0"
// 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
This package has no dependencies.
This package is not used by any NuGet packages.
This package is not used by any popular GitHub repositories.