4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
4.4 Modelchecker SMV<br />
ST II<br />
Vorgehensweise <strong>zur</strong> praktischen Anwendung von SMV<br />
1. Schritt:<br />
– <strong>Software</strong>entwurf mit industriell verbreitetem <strong>Entwicklung</strong>swerkzeug<br />
2. Schritt:<br />
– Umsetzung des Modells in die Sprache des verwendeten<br />
Verifikationswerkzeugs, hier SMV<br />
3. Schritt:<br />
– <strong>Formale</strong> Verifikation durch Model-Checking<br />
© 2013 IAS, Universität Stuttgart 196