Lecture 11

Deductive Verification

Lecture

Slides: PDF, PPTX

Notes: PDF

Outline

• TODO

Workshop

Outline

• Tools for deductive verification
• OpenJML
• KeY
• Coq
• Why3

References

• Formal Verification (Wikipedia)
• Java Modeling Language
• Hoare Logic (Wikipedia)