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.2 Grundlagen der formalen Spezifikation und Verifikation<br />
ST II<br />
Ist Chico ein Tier?<br />
Gegeben die Aussage von oben<br />
A<br />
x, y . (( I (y) g (y, x )) t (Y) )<br />
<<br />
I (C) g (C, S)<br />
Einsetzen<br />
UND<br />
((I (C)<br />
<<br />
g (C, S)) t (C))<br />
((I (C)<br />
<<br />
g (C, S))<br />
Modus Ponens<br />
t (C)<br />
© 2013 IAS, Universität Stuttgart 177