Hyperproperties Bernd Finkbeiner

News

Concluding Discussion

Written: 21.01.2019 12:37 Written By: Jana Hofmann

Dear Students,

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



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators