Information

Description
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.
Version
1.2.3
Project Url
http://safetysharp.isse.de/
View on NuGet: http://www.nuget.org/packages/ISSE.SafetySharp

Dependencies

Here are the packages that version 1.2.3 of ISSE.SafetySharp depends on.

No dependencies

Authors

 

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.