Diplomarbeit: Modellprüfung von Abstrakten Zustandsmaschinen mit Pushdown-Systemen
Diplomarbeit: Modellprüfung von Abstrakten Zustandsmaschinen mit Pushdown-Systemen
In dieser Arbeit soll eine Spezifikation mit Abstrakten Zustandsmaschinen zu Pushdown-Systemen abstrahiert werden, so dass diese mit Werkzeugen zur Softwaremodellprüfung geprüft werden kann. Im Verbund mit den anderen beiden Arbeiten soll so Softwaremodellprüfung auf eine flexiblere Basis gestellt werden.
Betreuer der Diplomarbeit
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
| Dipl.-Inform. Dirk Richter | dirk.richter@informatik.uni-halle.de | Raum 3.23, Tel. 0345-55-24767 |
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.