saml
Can this model reach the next state?
loading...
DISCLAIMER: SAML is a 3rd party tool offered by Otto-von-Guericke-University Magdeburg - Department of Distributed Systems. By clicking ‘►’, you instruct rise4fun to send the source to Otto-von-Guericke-University Magdeburg - Department of Distributed Systems’s SAML to be analyzed. Please refer to the terms of use and privacy policy of SAML. Contact support for details.
 home tutorial
'►' shortcut: Alt+B
about SAML - Safty Analysis Modelling Language
Formal language for discrete state-based system modelling. Part of the Verification Environment for Critical Systems (VECS)
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2017 Microsoft