Formal Methods for Software Development - Lecture: Java Modeling Language (1)

Formal Methods for Software Development	TDA294/DIT271, LP1, HT2020
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 Slides Slides (paper saving version) Examples

	W. Ahrendt, Oct 1, 2020