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
This package has no dependencies.