ISSE.SafetySharp (nuget): 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.
Keywords: safety-critical|model-checking|simulation|models|visualization