Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2009/06/11 11:54] brauer angelegt |
lehre:abschlussarbeiten:model_checking_von_abstract_state_machines [2011/11/21 17:25] (aktuell) |
||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
====== Model Checking von Abstract State Machines mit [mc]square ====== | ====== Model Checking von Abstract State Machines mit [mc]square ====== | ||
+ | ~~NOTOC~~ | ||
===== Motivation ===== | ===== Motivation ===== | ||