S# is a formal modeling and safety analysis framework for safety-critical systems. It provides a domain specific modeling language and fully automated formal safety analysis tools based on C# and .NET.
Wichtige funktionalitäten (Start/Stop von containern/ganzes Hostsetting und Netzwerk (de)aktivieren) sind fertig, Benchmarks müssen evtl. noch angepasst werden
Ein Startscript analog zum setup.sh für ein Multihost-Cluster aus #65 erstellen