Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.
08.12.2012 • Aufrufe
Teilen Einbetten Melden

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

Modulhandbuch Wirtschaftsinformatik | B.Sc. und M.Sc.

MEHR ANZEIGEN
WENIGER ANZEIGEN
ePAPER LESEN
ePAPER HERUNTERLADEN
wi.tu.darmstadt.de

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

JETZT STARTEN

Model Checking<br />

20-00-0423<br />

Gebiet: Fo<strong>und</strong>ations of Computing<br />

Modulverantwortlicher: Prof. Dr.-Ing. Heiko Mantel<br />

Kreditpunkte: 5 Dauer: 1 Semester Turnus: In der Regel jedes Semester<br />

Zeit gesamt: 150 h davon Präsenz: 30 h davon eigenständig: 120 h<br />

Lehrveranstaltung:<br />

Model Checking<br />

Dozenten:<br />

Vorlesung 3 SWS<br />

Modulbeschreibung:<br />

Lehrinhalte<br />

•Temporal Logic Model Checking<br />

•Basic Fixpoint Theorems<br />

•Binary Decision Diagrams<br />

•Symbolic Model Checking<br />

•SMV<br />

•Simulation and Abstraction<br />

•Bo<strong>und</strong>ed Model Checking<br />

•Software Model Checking<br />

Kompetenzen<br />

Literatur<br />

Voraussetzungen<br />

Gr<strong>und</strong>lagen aus den ersten vier Semestern<br />

Diploma Supplement<br />

<strong>Modulhandbuch</strong> Informatik 158

logo

Produkte

Ressourcen

Unternehmen

AGB
Datenschutzerklärung
Cookie-Richtlinien
Cookie-Einstellungen
Impressum
Change language
Made with love in Switzerland
© 2024 Yumpu.com all rights reserved

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!