|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
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|