Praktikum Automatische Verifikation reaktiver Systeme - Praktikumsbetrieb

Praktikum Automatische Verifikation reaktiver Systeme

Hinweise zum Praktikumsbetrieb WS 1998/99

H-Line

Ort und Zeit

Dienstags, 9.00-11.00 Uhr st, Raum 2205


Allgemeine Hinweise

  • Merkblatt 1 (04.11.1998)

  • Aufgabenblätter

  • Aufgabenblatt 1 (04.11.1998)
  • Aufgabenblatt 2 (10.11.1998)
  • Aufgabenblatt 3 (17.11.1998)
  • Aufgabenblatt 4 (24.11.1998)
  • Aufgabenblatt 5 (01.12.1998)
  • Aufgabenblatt 6 (08.12.1998)
  • Aufgabenblatt 7 (15.12.1999)
  • Aufgabenblatt 8 (12.01.1999)
  • Aufgabenblatt 9 (19.01.1999)
  • Aufgabenblatt 10 (26.01.1999)
  • Aufgabenblatt 11 (02.02.1999)
  • Aufgabenblatt 12 (09.02.1999) - Das letzte :-)


  • Dokumentationen zu CCS und zur Concurrency Workbench (CWB)

  • Manual The Edinburgh Concurrency Workbench (Version 7)
  • Kurzeinführung A Concurrency Workout
  • Online-Befehlsreferenz CWB-Kommandos
  • Buch von Colin Stirling Modal and Temporal Properties of Processes

  • Dokumentationen zu bison

  • Bison-Manual The YACC-compatible Parser Generator, Version 1.20

  • Dokumentationen zu PEP und B(PN)²

  • Kurzübersicht Erläuterungen zur Sprache B(PN)² und den Petrinetz-basierten Model Checkern

  •                                                                                                     Schneemann


    Stefan Römer (Last modification: 98/11/23-13:24) access counter