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.


W. Ahrendt, Oct 3, 2019