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.
See the version list below for details.
Install-Package ISSE.SafetySharp -Version 1.2.0
dotnet add package ISSE.SafetySharp --version 1.2.0
<PackageReference Include="ISSE.SafetySharp" Version="1.2.0" />
paket add ISSE.SafetySharp --version 1.2.0
This package has no dependencies.