Inhalt

• Allgemeines
• Seminar

Allgemeines

• Semester: WS 2008/2009
• Dozent: Prof. Dr. K. Madlener
• Betreuer: Dr. Robert Eschbach, Johannes Kloos
• Eintrag im Vorlesungsverzeichnis:
  • 89-760
  • Seminar
    Zeit und Ort wird noch bekanntgegeben.
  • A) Grobe Themeneingrenzung.
  1. Sequence-based specification
  2. Statistical testing
  3. Box structured methods
  4. SAT-Solver, Model-Checker
  5. Spezielle SAT-Solving-Algorithmen
  • B)wird noch bekannt gegeben
  • C) Bachelor Informatik.
  • D) Seminarschein nach erfolgreichem Vortrag.

Seminar

• Das Seminar wird zusammen mit der Abteilung Testen und Inspektionen des Fraunhofer IESE durchgeführt.