PROGRAMME VON syspect.informatik.uni-oldenburg.de

Syspect ist ein Tool, um ein System mit UML2-Diagrammen zu spezifizieren und in eine CSP-OZ-DC-Spezifikation zur formalen Überprüfung zu übersetzen.