Next week, we have our final session, in which we will discuss the different approaches to hyperproperties we saw in this seminar. We will ask you to come up with use cases and scenarios in which hyperproperties play a crucial role. We will then discuss what kind of properties one would have to check in your scenarios and what verification techniques might be suitable.
We are looking forward to discussing your ideas and opinions!
Your Hyperproperties Team