This project is a minimalistic, simple, and illustrative example of working with robust safety in Iris.
This project is designed as a show case for the course taught at the Summer School on Security Testing and Verification (Sep 20--22, 2022, Leuven, Belgium).