17.01.2014 Aufrufe

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

Umdruck - Institut für Automatisierungs- und Softwaretechnik

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

5.4 Zuverlässigkeits- <strong>und</strong> Sicherheitsmaßnahmen<br />

AT II<br />

Formale Spezifikation <strong>und</strong> Verifikation<br />

– Formale Spezifikation<br />

<br />

<br />

Operationelle Spezifikation<br />

<br />

Vor- <strong>und</strong> Nachbedingungen zur Beschreibung der Beziehung zwischen<br />

Ein- <strong>und</strong> Ausgabedaten<br />

Spezifikation mit abstrakten Datentypen<br />

– Formale Verifikation<br />

<br />

Nachweis mit Hilfe von Beweissystemen<br />

© 2013 IAS, Universität Stuttgart 405

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!