Formal Methods for Software Development	TDA294/DIT271, LP1, HT2017
Lecture Notes: Java Modeling Language, part 1
In the first part of this lecture, we continued the discussion of the sequent calculs for first-order logic, and introduced the KeY prover (so far only as a prover for first-order logic). I added those slides to the slide set of the provious lecture. In the second part, we started introducing the Java Modeling Language (JML), a data oriented specification language specifically designed for Java. Slides Slides (paper saving version) Examples
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools	W. Ahrendt, Sep 28, 2017