Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2015 / Formale Spezifikation und Verifikation / Materialien


Inhaltsbereich

Materialien

Folien Kapitel 1
(2. Mai: Folie 68 korrigiert)
Sat-Solver-Frontend in OCaml
Tseitin-Transformation, DIMACS Ein- und Ausgabe, sowie Beispielanwendungen in OCaml
Sat-Solver-Frontend in Java
Tseitin-Transformation und Sat-Solver in Java
BDD-Beispiele in OCaml
Äquivalenz der Addierschaltungen und das Semaphorenbeispiel mit BDDs
BDD-Beispiele in Java
Äquivalenz der Addierschaltungen, Semaphoren und Peterson-Algorithmus mit BDDs (enthält BDD-Bibliothek)
Folien Kapitel 2
(jetzt vollständig)
Folien Kapitel 3

Artikelaktionen


Funktionsleiste