Masterarbeit-Modelle

Das Repository enthält alle Modelle, die für die Evaluation im Rahmen meiner Masterarbeit "Optimierung eines Systemverifikationsframeworks zur performanteren Applikation von Model Checking Algorithmen" verwendet wurden.

Referenzen

1. CSE OvGU. Airbag Modell. URL: https://bitbucket.org/cse_admin/saml_airbag/src/master/
2. CSE OvGU. Funkfahrbetrieb Modell. URL: https://bitbucket.org/cse_admin/saml_funkfahrbetrieb/src/master/
3. Frédéric Boniol und Virginie Wiels. The landing gear system case study. In Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, und Klaus-Dieter Schewe, editors, ABZ 2014: The Landing Gear Case Study, pages 1–18, Cham, 2014. Springer International Publishing. ISBN 978-3-319-07512-9. doi: https://doi.org/10.1007/978-3-319-07512-9_1
4. Frédéric Boniol, Virginie Wiels, Yamine Ait-Ameur, und Klaus-Dieter Schewe. The landing gear case study: challenges and experiments, 2017.