Formal Specification and Verification Techniques WS 11/12

Arbeitsgruppe
Grundlagen der Informatik
Prof. Dr. K. Madlener

Formal Specification and Verification Techniques WS 11/12

Contents

Diese Seite auf Deutsch.
News
Misc
Lecture
Slides/Preparatory material
Exercises
Old News

News

01/31/2012: The last slides of the lecture are online.

Misc

Semester: WS 2011/2012
Lecturer: Prof. Dr. K. Madlener
Tutor: Reiner Hüchting

Lecture

General:
- INF-51-51-V-7
- 4 h @ 45 min per week lecture (4 Std.)
  Monday, 8:30 - 10:00 h, room 34-420
  Tuesday, 8:30 - 10:00 h, room 34-420
  2 h @ 45 min per week exercise
- A) The mathematically exact specification and verification of algorithms has become increasingly important in theoretical informatics, due to the rising complexity in the area of software development. Various mathematical models of the term algorithm lead to different specification and verification techniques. This lecture presents important mathematical models of algorithm and the specification and verification techniques based on each of them, e.g. graph rewriting as computability model, and an introduction to Algebraic Specification and Verification.
- B) Books:
  Dörr, Heiko: Efficient graph rewriting and its implementation, Springer, 1995. INF 355/021.
  Ehrig, Hartmut, Mahr, Bernd: Fundamentals of algebraic specification, Springer., 1985, INF 510/038.
  Baader, Nipkow: Term Rewriting and All That, Cambridge UP, 1998
  Börger, Stärk : Abstract State Machines Springer
  Nissanke: Formal Specification Techniques and Applications Springer 99
  Astesiano, Kreowski, Krieg-Brückner: Algebraic Foundations of System Specifications (IFIP)
- C) Software-Entwicklung 1, 2, Mathematik, Formale Grundlagen der Programmierung, Logik, Entwurf und Analyse von Algorithmen.
- E) Kernveranstaltung des Lehrgebietes.
First lecture: 2011/10/19
Further information: KIS

Slides/Preparatory material

Slides for on-line reading:
- 1-457
Additional stuff: ASM-Beispiele , Verfeinerungsmethoden , Kürzeste Wege

Exercises

Dates:
- Tuesday, 3:30 - 5:00 PM, room 34-420

Sheets

Sheet 1
Sheet 2
Sheet 3
Sheet 4
Sheet 5
Sheet 6
Sheet 7
Sheet 8
Sheet 9
Sheet 10
Sheet 11
Sheet 12
Sheet 13

Delivery of the exercise sheets by e-mail to huechting@cs.uni-kl.de, please.

Old News

01/30/2012: Some more slides are online.

01/23/2012: The slides till the end of the lecture are online.

01/23/2012: The thirteenth exercise sheet is online.

01/16/2012: The twelfth exercise sheet is online.

01/09/2012: The eleventh exercise sheet is online.

12/19/2011: The tenth exercise sheet is online.

12/13/2011: The ninth exercise sheet is online.

12/13/2011: Slides 1 to 349 are online.

12/07/2011: The eigth exercise sheet is online.

12/07/2011: As decided in the lecture, the exercise will take place today at 2 PM.

12/06/2011: Today's exercise has to be cancelled. A new date will be fixed soon.

11/29/2011: The seventh exercise sheet is online.

11/21/2011: The sixth exercise sheet is online.

11/14/2011: The fifth exercise sheet is online.

11/14/2011: Slides 1 to 259 are online.

11/07/2011: The fourth exercise sheet is online.

11/02/2011: Slides 1 to 159 are online.

11/02/2011: The third exercise sheet is online.

11/02/2011: The book chapters used in the lecture are available under Slides/Preparatory material.

10/27/2011: Starting from November 14th, the Lecture will take place on Mondays and Tuesdays at 8:30h and the exercise is on Tuesdays at 15:30h.

10/27/2011: Schedule for the next two weeks:

Date/Time	Lecture/Exercise
Mo, 10/31/2011, 8:30h	Lecture
We, 11/02/2011, 8:30h	Lecture
Th, 11/03/2011, 8:30h	Lecture
Mo, 11/07/2011, 8:30h	Lecture
Tu, 11/08/2011, 8:30h	Exercise
Tu, 11/08/2011, 15:30h	Exercise

10/27/2011: The second exercise sheet is online.

10/23/2011: Slides 1 to 114 are online.

10/19/2011: The first exercise sheet is online.

10/18/2011: The first slides are online.

10/10/2011: The first lecture starts on Wednesday, 19/10/2011.

AG Grundlagen der Informatik

TU Kaiserslautern

Last Update: Tuesday, 31-Jan-12 19:25:09 GMT
madlener@informatik.uni-kl.de