S# NuGet Package

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.



Got any S# Question?




Info

Version: 2.0.0
Author(s): Institute for Software and Systems Engineering (University of Augsburg)
Last Update: Friday, March 23, 2018
.NET Fiddle: Create the first Fiddle
Project Url: http://safetysharp.isse.de/
NuGet Url: https://www.nuget.org/packages/ISSE.SafetySharp


Install
Install-Package ISSE.SafetySharp
dotnet add package ISSE.SafetySharp
paket add ISSE.SafetySharp
ISSE.SafetySharp Download (Unzip the "nupkg" after downloading)



Tags



STATS

must-have-score

avg-downloads-per-day

1

days-since-last-release

2783