- 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.
- View on NuGet: http://www.nuget.org/packages/ISSE.SafetySharp
Here are the packages that version 1.2.3 of ISSE.SafetySharp depends on.
Installing with NuGet
PM> Install-Package ISSE.SafetySharp
Packages that Depend on ISSE.SafetySharp
No packages were found that depend on version 1.2.3.