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.6 Sicherheits-Nachweisverfahren<br />

AT II<br />

Formale Verifikation<br />

Nachweis mit formalen, mathematisch logischen Schlussweisen<br />

– Ein Programm ist korrekt bezüglich einer gegebenen formalen<br />

Spezifikation<br />

– Eine formale Spezifikation ist eine Verfeinerung einer anderen formalen<br />

Spezifikation<br />

– Die Transformation eines bezüglich einer Spezifikation korrekten<br />

Programms in eine Implementierungssprache ist korrekt<br />

© 2013 IAS, Universität Stuttgart 436

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!