Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung Nächste Überarbeitung Beide Seiten der Revision | ||
lehrstuhl:mitarbeiter:schlich [2009/06/12 20:10] brauer |
lehrstuhl:mitarbeiter:schlich [2009/06/12 20:13] brauer |
||
---|---|---|---|
Zeile 40: | Zeile 40: | ||
==== Ongoing ==== | ==== Ongoing ==== | ||
+ | \\ | ||
==== Finished ==== | ==== Finished ==== | ||
- | | + | |
* Parallel and Distributed Construction of the State Spaces in the Model Checker [mc]square (Stefan Mau) | * Parallel and Distributed Construction of the State Spaces in the Model Checker [mc]square (Stefan Mau) | ||
* Model Checking of Instruction List Programs for Programmable Logik Controllers using [mc]square (Jörg Wernerus) | * Model Checking of Instruction List Programs for Programmable Logik Controllers using [mc]square (Jörg Wernerus) |