Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Type||Name||Latest commit message||Commit time|
|Failed to load latest commit information.|
Welcome to S# ============= S# (pronounced "safety sharp") is a formal modeling framework and safety analysis framework for safety-critical systems developed by the Institute for Software & Systems Engineering at the University of Augsburg. S# Features =========== - Expressive, modular modeling language based on the C# programming language - Fully automated and efficient formal safety analyses - Efficient formal analyses using fully exhaustive model checking - Support for model simulations, model tests, model debugging, and model visualizations - Extensive tool support based on standard .NET tools and libraries such as Visual Studio, providing model refactorings, debuggers, UI designers for visualizations, continuous integration with automated regression tests, etc. Documentation =========== Documentation is available in the S# Wiki: http://safetysharp.isse.de/wiki