4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
4 Formale Methoden zur Entwicklung qualitativ hochwertiger Software
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4.2 Grundlagen der formalen Spezifikation und Verifikation<br />
ST II<br />
Algorithmische Verifikation (Model Checking)<br />
Beweis durch vollständige Exploration des Zustandsraums<br />
Vorteile<br />
• Automatische Verifikation<br />
• Error-Trace bei Fehlern<br />
Nachteile<br />
• Nur Systeme mit endlich vielen Zuständen<br />
• Problem: Explosion des Zustandsraums<br />
© 2013 IAS, Universität Stuttgart 182