Diplomarbeit: Symbolische Ausführung von Abstrakten Zustandsmaschinen
Diplomarbeit: Symbolische Ausführung von Abstrakten Zustandsmaschinen
Ziel dieser Arbeit ist es, aus symbolischen Anfangszuständen symbolische Nachfolgezustände zu berechnen und diese weitestgehend zu vereinfachen. Mit Hilfe dieses Werkzeugs soll ein Anschluss an Theorembeweiser geschaffen werden, damit es möglich ist automatisch Eigenschaften von Abstrakten Zustandsmaschinen zu beweisen.
Betreuer der Diplomarbeit
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
| Dr. Werner Gabrisch | werner.gabrisch@informatik.uni-halle.de | Raum 3.21, Tel. 0345-55-24741 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.