Navigation Fachbereich und Zentren:
wissen.leben | WWU Münster
Formal Specification
- Announcement in HISLSF
- Time and Location: Mo 16:15 - 17:45, Fr 08:15 - 09:45, Leo 18
- Exam: 06.02.2008, 8:15 - 9:45 h, Leo 18
- Post-exam Review: 14.04.2009, 13-15:00 h, room 338 (WI)
- Start: 20.10.2008
- Relevant for: Master in Information Sytems.
- Content:
- Algebraic Specification (OBJ,Maude)
- Model-based Specification (Z,B,VDM)
- Soundness Proofs, Hoare Logic
- Theorem Proving (Isabelle)
- Model Checking
- Slides:
- Chapter 1: Introduction (State: 27.10.2008)
- Chapter 2: Algebraic Specification (State: 17.11.2008)
- Chapter 3: Basics of Logic (State: 05.12.2008, few typos corrected, page numbers added, page 99 modified)
- Chapter 4: Specification Language Z (State: 04.12.2008, page numbers added)
- Chapter 5: Theorem Proving (State: 04.12.2008)
- Chapter 6: Model Checking, Part 1 (State: 20.01.2009, pages 138, 140 corrected; 2 sections added )
- Discussion forum:
OpenUSS will be used for discussions on the material of this course.
- Examples:
- Links:
