This Repository contains our latest version of the AMAN_v6 case study.

The case study is contained in AMAN_v6 and can be started from an up-to-date version of ProB 2 UI.
- The VO manager can be started under the "Advanced" menu.
The folder can also be treated as a Rodin project and started from within the IDE.

Citation

@inproceedings{AMAN2023a,
   author={Geleßus, David and Stock, Sebastian and Vu, Fabian and Leuschel, Michael and Mashkoor, Atif},
   title={{Modeling and Analysis of a Safety-critical Interactive System through Validation Obligations}},
   booktitle = {Proceedings ABZ},
   series = {LNCS 14010},
   pages={284–-302},
   year = 2023
}