Formal Methods for Software Development | TDA294/DIT271, LP1, HT2019 |

Lecture Notes: Java Modeling Language, part 1 | |

In the first part of this lecture, we continue the discussion of the sequent calculs
for first-order logic, and introduce the KeY prover (so far only as a prover for first-order
logic).
In the second part, we start introducing the Java Modeling Language (JML), a data oriented
specification language specifically designed for Java.
## Handouts | |

W. Ahrendt, Oct 3, 2019 |