uni:6:fsv:start
This is an old revision of the document!
Table of Contents
Formale Spezifikation und Verifikation
Formal = Mittels Logik
Propositionallogik
Syntax
| Propositionale Variablen | $A, B, C, \ldots$ |
|---|---|
| Junktoren | $\neg, \wedge, \vee, \Rightarrow, \Leftrightarrow$ |
| Formel | $\phi, \psi, \ldots$ |
| Konstanten | $\top, \perp$ |
Semantik
| Belegung | $\eta$ |
|---|---|
| Foo | $⟦\phi⟧\eta$ |
| Bar | $\&, \mid\mid$ |
uni/6/fsv/start.1404841453.txt.gz · Last modified: (external edit)